ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Dense Sphere Packings: A Blueprint for Formal Proofs

دانلود کتاب بسته بندی های کروی متراکم: طرحی برای اثبات رسمی

Dense Sphere Packings: A Blueprint for Formal Proofs

مشخصات کتاب

Dense Sphere Packings: A Blueprint for Formal Proofs

ویرایش:  
نویسندگان:   
سری: London Mathematical Society Lecture Note Series 
ISBN (شابک) : 0521617707, 9780521617703 
ناشر: Cambridge University Press 
سال نشر: 2012 
تعداد صفحات: 287 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 3 مگابایت 

قیمت کتاب (تومان) : 50,000



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 10


در صورت تبدیل فایل کتاب 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.




نظرات کاربران