Đang tải...

Dense sphere packings : a blueprint for formal proofs /

"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 mat...

Mô tả đầy đủ

Chi tiết về thư mục
Tác giả chính: Hales, Thomas Callister
Định dạng: Printed Book
Ngôn ngữ:English
Được phát hành: Cambridge ; New York : Cambridge University Press, 2012.
Loạt:London Mathematical Society lecture note series ; 400.
Những chủ đề:

University of Calicut

Chi tiết quỹ từ University of Calicut
Sao chép Trạng thái trực tiếp không khả dụng