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 159 articles , 3 standard articles )

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

1 2 3 ... 6 7 8 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. Rolen, Larry; Wagner, Ian: A note on Schwartz functions and modular forms (2020)
  6. Sah, Ashwin; Sawhney, Mehtaab; Stoner, David; Zhao, Yufei: Exponential improvements for superball packing upper bounds (2020)
  7. Bétermin, Laurent; Petrache, Mircea: Optimal and non-optimal lattices for non-completely monotone interaction potentials (2019)
  8. Chen, Jing; Li, Bo; Li, Yingkai: Efficient approximations for the online dispersion problem (2019)
  9. Choudhary, Aruni; Kerber, Michael; Raghvendra, Sharath: Polynomial-sized topological approximations using the permutahedron (2019)
  10. Faulhuber, Markus; Steinerberger, Stefan: An extremal property of the hexagonal lattice (2019)
  11. Gómez-Serrano, Javier: Computer-assisted proofs in PDE: a survey (2019)
  12. Gunther, Emmanuel; Pagano, Miguel; Sánchez Terraf, Pedro: First steps towards a formalization of forcing (2019)
  13. Hartman, Thomas; Mazáč, Dalimil; Rastelli, Leonardo: Sphere packing and quantum gravity (2019)
  14. Ismailescu, Dan; Laskawiec, Piotr: Dense packings with nonparallel cylinders (2019)
  15. Jenssen, Matthew; Joos, Felix; Perkins, Will: On the hard sphere model and sphere packings in high dimensions (2019)
  16. Krantz, Steven G.: The Besicovitch covering lemma and maximal functions (2019)
  17. Li, Li-Ming; Shi, Zhi-Ping; Guan, Yong; Zhang, Qian-Ying; Li, Yong-Dong: Formalization of geometric algebra in HOL Light (2019)
  18. Lourenco, Christopher; Escobedo, Adolfo R.; Moreno-Centeno, Erick; Davis, Timothy A.: Exact solution of sparse linear systems via left-looking roundoff-error-free Lu factorization in time proportional to arithmetic work (2019)
  19. Magron, Victor; Safey El Din, Mohab; Schweighofer, Markus: Algorithms for weighted sum of squares decomposition of non-negative univariate polynomials (2019)
  20. Ogievetsky, O. V.; Shlosman, S. B.: Critical configurations of solid bodies and the Morse theory of min functions (2019)

1 2 3 ... 6 7 8 next