A Revision of the Proof of the Kepler Conjecture
- 17 March 2009
- journal article
- Published by Springer Nature in Discrete & Computational Geometry
- Vol. 44 (1) , 1-34
- https://doi.org/10.1007/s00454-009-9148-4
Abstract
No abstract availableKeywords
All Related Versions
This publication has 32 references indexed in Scilit:
- Some new results on decidability for elementary algebra and geometryAnnals of Pure and Applied Logic, 2012
- The dodecahedral conjectureJournal of the American Mathematical Society, 2009
- Flyspeck II: the basic linear programsAnnals of Mathematics and Artificial Intelligence, 2009
- The pitfalls of verifying floating-point computationsACM Transactions on Programming Languages and Systems, 2008
- Guest Editors' ForewordDiscrete & Computational Geometry, 2006
- A proof of the Kepler conjectureAnnals of Mathematics, 2005
- Semidefinite programming relaxations for semialgebraic problemsMathematical Programming, 2003
- The Four-Colour TheoremJournal of Combinatorial Theory, Series B, 1997
- HOL Light: A tutorial introductionPublished by Springer Nature ,1996
- The four color proof sufficesThe Mathematical Intelligencer, 1986