Загрузка...

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

Полное описание

Библиографические подробности
Главный автор: Hales, Thomas Callister
Формат: Printed Book
Язык:English
Опубликовано: Cambridge ; New York : Cambridge University Press, 2012.
Серии:London Mathematical Society lecture note series ; 400.
Предметы:

University of Calicut

Подробно о фондах из University of Calicut
Копировать Недоступно состояние Live" What does mean the status Live (working)