Chargement en cours...
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...
| Auteur principal: | |
|---|---|
| Format: | Printed Book |
| Langue: | English |
| Publié: |
Cambridge ; New York :
Cambridge University Press,
2012.
|
| Collection: | London Mathematical Society lecture note series ;
400. |
| Sujets: |