دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Dense Sphere Packings: A Blueprint for Formal Proofs
دانلود کتاب بسته بندی های کروی متراکم: طرحی برای اثبات رسمی
مشخصات کتاب
Dense Sphere Packings: A Blueprint for Formal Proofs
ویرایش:
نویسندگان: Thomas Hales
سری: London Mathematical Society Lecture Note Series
ISBN (شابک) : 0521617707, 9780521617703
ناشر: Cambridge University Press
سال نشر: 2012
تعداد صفحات: 287
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 50,000
در صورت تبدیل فایل کتاب Dense Sphere Packings: A Blueprint for Formal Proofs به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب بسته بندی های کروی متراکم: طرحی برای اثبات رسمی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب بسته بندی های کروی متراکم: طرحی برای اثبات رسمی
حدس 400 ساله کپلر ادعا می کند که هیچ بسته بندی توپ های متجانس در سه بعدی نمی تواند چگالی فراتر از آرایش گلوله توپ هرمی شکل آشنا داشته باشد. در این کتاب، اثبات جدیدی از حدس ارائه شده است که آن را برای اولین بار برای مخاطبان ریاضی گسترده ای در دسترس قرار می دهد. این کتاب همچنین راه‌حل‌هایی را برای دیگر حدس‌های حل‌نشده قبلی در هندسه گسسته، از جمله حدس دوازده‌وجهی قوی در کوچک‌ترین سطح یک سلول Voronoi در یک بسته‌بندی کره ارائه می‌کند. این کتاب همچنین در حال حاضر به عنوان طرحی برای یک پروژه اثبات رسمی در مقیاس بزرگ استفاده می شود که هدف آن بررسی هر استنتاج منطقی از اثبات حدس کپلر توسط کامپیوتر است. این یک منبع ضروری برای کسانی است که می خواهند با تحقیقات در مورد حدس کپلر به روز شوند.
توضیحاتی درمورد کتاب به خارجی
The 400-year-old Kepler conjecture asserts that no packing of congruent balls in three dimensions can have a density exceeding the familiar pyramid-shaped cannonball arrangement. In this book, a new proof of the conjecture is presented that makes it accessible for the first time to a broad mathematical audience. The book also presents solutions to other previously unresolved conjectures in discrete geometry, including the strong dodecahedral conjecture on the smallest surface area of a Voronoi cell in a sphere packing. This book is also currently being used as a blueprint for a large-scale formal proof project, which aims to check every logical inference of the proof of the Kepler conjecture by computer. This is an indispensable resource for those who want to be brought up to date with research on the Kepler conjecture.
فهرست مطالب
Content: 1. Close packing
2. Trigonometry
3. Volume
4. Hypermap
5. Fan
6. Packing
7. Local fan
8. Tame hypermap
9. Further results.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Food Contaminants. Mycotoxins and Food Allergens
دانلود کتاب Hereditary Hemorrhagic Telangiectasia - A Bibliography and Dictionary for Physicians, Patients, and Genome Researchers
دانلود کتاب Tout l'œuvre peint de Jérôme Bosch
دانلود کتاب L’être et la maturité du comportement : Une étude sur l’anxiété, le sexe, la gravitation et l’apprentissage
