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

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

1 2 3 ... 8 9 10 next

  1. Avigad, Jeremy: Varieties of mathematical understanding (2022)
  2. Bédaride, Nicolas; Fernique, Thomas: Density of binary disc packings: the nine compact packings (2022)
  3. Couture, A.; François, V.; Cuillière, Jean-Christophe; Pilvin, Ph.: Automatic generation of statistical volume elements using multibody dynamics and an erosion-based homogenization method (2022)
  4. Harland, James: Generating candidate busy beaver machines (or how to build the zany zoo) (2022)
  5. Jaquette, Jonathan; Lessard, Jean-Philippe; Takayasu, Akitoshi: Global dynamics in nonconservative nonlinear Schrödinger equations (2022)
  6. van den Berg, Jan Bouwe; Duchesne, Gabriel William; Lessard, Jean-Philippe: Rotation invariant patterns for a nonlinear Laplace-Beltrami equation: a Taylor-Chebyshev series approach (2022)
  7. Zong, Chuanming: A computer approach to determine the densest translative tetrahedron packings (2022)
  8. Amato, Daniela A.; Cherlin, Gregory; Macpherson, H. Dugald: Metrically homogeneous graphs of diameter (3) (2021)
  9. Bétermin, Laurent; De Luca, Lucia; Petrache, Mircea: Crystallization to the square lattice for a two-body potential (2021)
  10. Bourne, David P.; Cristoferi, Riccardo: Asymptotic optimality of the triangular lattice for a class of optimal location problems (2021)
  11. Carette, Jacques; Farmer, William M.; Kohlhase, Michael; Rabe, Florian: Big Math and the one-brain barrier: the tetrapod model of mathematical knowledge (2021)
  12. Colbrook, Matthew J.: Computing spectral measures and spectral types (2021)
  13. Dong, Junkai; Elser, Veit; Gyawali, Gaurav; Jee, Kai Yen; Kent-Dobias, Jaron; Mandaiya, Avinash; Renz, Megan; Su, Yubo: Glass phenomenology in the hard matrix model (2021)
  14. Färber, Michael; Kaliszyk, Cezary; Urban, Josef: Machine learning guidance for connection tableaux (2021)
  15. Feigenbaum, Ahram S.; Grabner, Peter J.; Hardin, Douglas P.: Eigenfunctions of the Fourier transform with specified zeros (2021)
  16. Fernique, Thomas: Compact packings of space with two sizes of spheres (2021)
  17. Fernique, Thomas; Hashemi, Amir; Sizova, Olga: Compact packings of the plane with three sizes of discs (2021)
  18. Fervari, Raul; Trucco, Francisco; Ziliani, Beta: Verification of dynamic bisimulation theorems in Coq (2021)
  19. Kohlhase, Michael; Rabe, Florian: Experiences from exporting major proof assistant libraries (2021)
  20. Koutsoukou-Argyraki, Angeliki: Formalising mathematics -- in praxis; a mathematician’s first experiences with Isabelle/HOL and the why and how of getting started (2021)

1 2 3 ... 8 9 10 next