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

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

1 2 3 ... 7 8 9 next

  1. Bétermin, Laurent; De Luca, Lucia; Petrache, Mircea: Crystallization to the square lattice for a two-body potential (2021)
  2. Carette, Jacques; Farmer, William M.; Kohlhase, Michael; Rabe, Florian: Big math and the one-brain barrier: the tetrapod model of mathematical knowledge (2021)
  3. Colbrook, Matthew J.: Computing spectral measures and spectral types (2021)
  4. Fernique, Thomas: Compact packings of space with two sizes of spheres (2021)
  5. Koutsoukou-Argyraki, Angeliki: Formalising mathematics -- in praxis; a mathematician’s first experiences with Isabelle/HOL and the why and how of getting started (2021)
  6. Lipschütz, Henriette; Skrodzki, Martin; Reitebuch, Ulrich; Polthier, Konrad: Single-sized spheres on surfaces (S4) (2021)
  7. Nebe, Gabriele: Automorphisms of modular lattices (2021)
  8. van den Berg, Jan Bouwe; Breden, Maxime; Lessard, Jean-Philippe; van Veen, Lennaert: Spontaneous periodic orbits in the Navier-Stokes flow (2021)
  9. Afkhami-Jeddi, Nima; Cohn, Henry; Hartman, Thomas; de Laat, David; Tajdini, Amirhossein: High-dimensional sphere packing and the modular bootstrap (2020)
  10. Andreanov, Alexei; Kallus, Yoav: Locally optimal 2-periodic sphere packings (2020)
  11. Bogosel, Beniamin; Bucur, Dorin; Fragalà, Ilaria: Phase field approach to optimal packing problems and related Cheeger clusters (2020)
  12. DeBlois, Jason: Bounds for several-disk packings of hyperbolic surfaces (2020)
  13. 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)
  14. Holmes, Kathryn: Mathematics education in the computational age: challenges and opportunities (2020)
  15. Pausinger, Florian: Long shortest vectors in low dimensional lattices (2020)
  16. Rolen, Larry; Wagner, Ian: A note on Schwartz functions and modular forms (2020)
  17. Sah, Ashwin; Sawhney, Mehtaab; Stoner, David; Zhao, Yufei: Exponential improvements for superball packing upper bounds (2020)
  18. Smirnov, S. N.: Guaranteed deterministic approach to superhedging: sensitivity of solutions of the Bellman-Isaacs equations and numerical methods (2020)
  19. van Enter, Aernout; Miȩkisz, Jacek: Typical ground states for large sets of interactions (2020)
  20. Bétermin, Laurent; Petrache, Mircea: Optimal and non-optimal lattices for non-completely monotone interaction potentials (2019)

1 2 3 ... 7 8 9 next