Historical overview of the Kepler conjecture
DOI10.1007/S00454-005-1210-2zbMATH Open1186.52010DBLPjournals/dcg/Hales06OpenAlexW2008559161WikidataQ55966476 ScholiaQ55966476MaRDI QIDQ734995FDOQ734995
Authors: Thomas C. Hales 
Publication date: 14 October 2009
Published in: Discrete \& Computational Geometry (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00454-005-1210-2
Recommendations
- A revision of the proof of the Kepler conjecture
- A formulation of the Kepler conjecture
- scientific article; zbMATH DE number 2186177
- A proof of the Kepler conjecture
- The Kepler Conjecture
- Dense sphere packings. A blueprint for formal proofs
- Study of the Kepler's conjecture: the problem of the closest packing
- Sphere packings. I
- Sphere packings. VI: Tame graphs and linear programs
- Theorem Proving in Higher Order Logics
Packing and covering in (n) dimensions (aspects of discrete geometry) (52C17) Combinatorial aspects of packing and covering (05B40) Lattice packing and covering (number-theoretic aspects) (11H31) General histories, source books (01A05) History of convex and discrete geometry (52-03)
Cited In (20)
- A short history of packing problems
- Cannonballs and honeycombs.
- Dense sphere packings. A blueprint for formal proofs
- The least dense hyperball covering of regular prism tilings in hyperbolic \(n\)-space
- An upper bound of the density for packing of congruent hyperballs in hyperbolic \(3\)-space
- Upper estimates for the expected Betti numbers of random subcomplexes
- The history of the Kepler conjecture
- New lower bound for the optimal ball packing density in hyperbolic 4-space
- ON THE SPHERE PACKING PROBLEM AND THE PROOF OF KEPLER'S CONJECTURE
- Crystallographic texture and group representations
- Kepler's conjecture. How some of the greatest minds in history helped solve one of the oldest math problems in the world. Transl. from the English by Manfred Stern
- Title not available (Why is that?)
- The magic of 8 and 24
- Enabling high-dimensional range queries using \(k\)NN indexing techniques: approaches and empirical results
- Notions of denseness
- From Kepler to Hales, and back to Hilbert
- Archimedes' principle for Brownian liquid
- A dense packing of regular tetrahedra
- A revision of the proof of the Kepler conjecture
- On the translative packing densities of tetrahedra and cuboctahedra
Uses Software
This page was built for publication: Historical overview of the Kepler conjecture
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q734995)
