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

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

1 2 3 ... 6 7 8 next

  1. Andreanov, Alexei; Kallus, Yoav: Locally optimal 2-periodic sphere packings (2020)
  2. 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)
  3. Bétermin, Laurent; Petrache, Mircea: Optimal and non-optimal lattices for non-completely monotone interaction potentials (2019)
  4. Chen, Jing; Li, Bo; Li, Yingkai: Efficient approximations for the online dispersion problem (2019)
  5. Choudhary, Aruni; Kerber, Michael; Raghvendra, Sharath: Polynomial-sized topological approximations using the permutahedron (2019)
  6. Faulhuber, Markus; Steinerberger, Stefan: An extremal property of the hexagonal lattice (2019)
  7. Gómez-Serrano, Javier: Computer-assisted proofs in PDE: a survey (2019)
  8. Ismailescu, Dan; Laskawiec, Piotr: Dense packings with nonparallel cylinders (2019)
  9. Jenssen, Matthew; Joos, Felix; Perkins, Will: On the hard sphere model and sphere packings in high dimensions (2019)
  10. Krantz, Steven G.: The Besicovitch covering lemma and maximal functions (2019)
  11. Li, Li-Ming; Shi, Zhi-Ping; Guan, Yong; Zhang, Qian-Ying; Li, Yong-Dong: Formalization of geometric algebra in HOL Light (2019)
  12. 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)
  13. Magron, Victor; Safey El Din, Mohab; Schweighofer, Markus: Algorithms for weighted sum of squares decomposition of non-negative univariate polynomials (2019)
  14. Bancerek, Grzegorz; Byliński, Czesław; Grabowski, Adam; Korniłowicz, Artur; Matuszewski, Roman; Naumowicz, Adam; Pąk, Karol: The role of the Mizar mathematical library for interactive proof development in Mizar (2018)
  15. Bertot, Yves; Rideau, Laurence; Théry, Laurent: Distant decimals of (\pi): formal proofs of some algorithms computing them and guarantees of exact computation (2018)
  16. Clarke, Edmund M.; Henzinger, Thomas A.; Veith, Helmut: Introduction to model checking (2018)
  17. Gómez-Ramírez, Danny A. J.; Fulla, Marlon; Rivera, Ismael; Vélez, Juan D.; Gallego, Edisson: Category-based co-generation of seminal concepts and results in algebra and number theory: containment-division and Goldbach rings (2018)
  18. Grayson, Daniel R.: An introduction to univalent foundations for mathematicians (2018)
  19. Henk, Martin: A note on lattice packings via lattice refinements (2018)
  20. Magazinov, Alexander: On percolation of two-dimensional hard disks (2018)

1 2 3 ... 6 7 8 next