The 1998 Proof of the Kepler Conjecture. The Kepler conjecture asserts that no packing of congruent balls in Euclidean 3-space has density greater than the familiar pyramid-shaped packing used to stack oranges at the market. This repository contains the computer code and other documentation for the 1998 proof of the Kepler Conjecture by Sam Ferguson and Tom Hales. This code is not regularly maintained, but it has been deposited at github as a historical record.

References in zbMATH (referenced in 165 articles , 3 standard articles )

Showing results 1 to 20 of 165.
Sorted by year (citations)

1 2 3 ... 7 8 9 next

  1. Andreanov, Alexei; Kallus, Yoav: Locally optimal 2-periodic sphere packings (2020)
  2. Bogosel, Beniamin; Bucur, Dorin; Fragalà, Ilaria: Phase field approach to optimal packing problems and related Cheeger clusters (2020)
  3. DeBlois, Jason: Bounds for several-disk packings of hyperbolic surfaces (2020)
  4. Gleixner, Ambros; Maher, Stephen J.; Müller, Benjamin; Pedroso, João Pedro: Price-and-verify: a new algorithm for recursive circle packing using Dantzig-Wolfe decomposition (2020)
  5. Holmes, Kathryn: Mathematics education in the computational age: challenges and opportunities (2020)
  6. Pausinger, Florian: Long shortest vectors in low dimensional lattices (2020)
  7. Rolen, Larry; Wagner, Ian: A note on Schwartz functions and modular forms (2020)
  8. Sah, Ashwin; Sawhney, Mehtaab; Stoner, David; Zhao, Yufei: Exponential improvements for superball packing upper bounds (2020)
  9. Bétermin, Laurent; Petrache, Mircea: Optimal and non-optimal lattices for non-completely monotone interaction potentials (2019)
  10. Chen, Jing; Li, Bo; Li, Yingkai: Efficient approximations for the online dispersion problem (2019)
  11. Choudhary, Aruni; Kerber, Michael; Raghvendra, Sharath: Polynomial-sized topological approximations using the permutahedron (2019)
  12. Davis, Ernest: Proof verification technology and elementary physics (2019)
  13. Faulhuber, Markus; Steinerberger, Stefan: An extremal property of the hexagonal lattice (2019)
  14. Gómez-Serrano, Javier: Computer-assisted proofs in PDE: a survey (2019)
  15. Gunther, Emmanuel; Pagano, Miguel; Sánchez Terraf, Pedro: First steps towards a formalization of forcing (2019)
  16. Hartman, Thomas; Mazáč, Dalimil; Rastelli, Leonardo: Sphere packing and quantum gravity (2019)
  17. Ismailescu, Dan; Laskawiec, Piotr: Dense packings with nonparallel cylinders (2019)
  18. Jenssen, Matthew; Joos, Felix; Perkins, Will: On the hard sphere model and sphere packings in high dimensions (2019)
  19. Krantz, Steven G.: The Besicovitch covering lemma and maximal functions (2019)
  20. Li, Li-Ming; Shi, Zhi-Ping; Guan, Yong; Zhang, Qian-Ying; Li, Yong-Dong: Formalization of geometric algebra in HOL Light (2019)

1 2 3 ... 7 8 9 next