Historical overview of the Kepler conjecture

DOI10.1007/S00454-005-1210-2MaRDI QIDQ734995zbMATH OpenOpenAlexDBLPWikidataFDO

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

zbMATH Keywords

ball packingsKepler conjecture

Mathematics Subject Classification ID

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)

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

Cited in

(20)

• A short history of packing problems
• A dense packing of regular tetrahedra
• Upper estimates for the expected Betti numbers of random subcomplexes
• Cannonballs and honeycombs.
• 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
• A revision of the proof of the Kepler conjecture
• The history of the Kepler conjecture
• Dense sphere packings. A blueprint for formal proofs
• The least dense hyperball covering of regular prism tilings in hyperbolic \(n\)-space
• The magic of 8 and 24
• Enabling high-dimensional range queries using \(k\)NN indexing techniques: approaches and empirical results
• Crystallographic texture and group representations
• From Kepler to Hales, and back to Hilbert
• Archimedes' principle for Brownian liquid
• An upper bound of the density for packing of congruent hyperballs in hyperbolic \(3\)-space
• scientific article; zbMATH DE number 2186177 (Why is no real title available?)
• ON THE SPHERE PACKING PROBLEM AND THE PROOF OF KEPLER'S CONJECTURE
• New lower bound for the optimal ball packing density in hyperbolic 4-space
• Notions of denseness
• On the translative packing densities of tetrahedra and cuboctahedra

Describes a project that uses

Uses Software

• kepler98

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)