A proof of the Kepler conjecture

DOI10.4007/annals.2005.162.1065zbMath1096.52010OpenAlexW2159130720WikidataQ55884843 ScholiaQ55884843MaRDI QIDQ2494223

Publication date: 19 June 2006

Published in: Annals of Mathematics. Second Series (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.4007/annals.2005.162.1065

zbMATH Keywords

branch and bound orthoscheme radial projection planar graph linear program topological space dihedral angle Voronoi cells isomorphic graphs (ball) packing Rogers simplex

Mathematics Subject Classification ID

Arrangements of points, flats, hyperplanes (aspects of discrete geometry) (52C35) Packing and covering in (2) dimensions (aspects of discrete geometry) (52C15) Packing and covering in (n) dimensions (aspects of discrete geometry) (52C17)

Related Items

Cell Shape Analysis of Random Tessellations Based on Minkowski Tensors, Algorithm 1021: SPEX Left LU, Exactly Solving Sparse Linear Systems via a Sparse Left-looking Integer-preserving LU Factorization, A FORMAL PROOF OF THE KEPLER CONJECTURE, Birds on a wire, Introduction to rigorous numerics in dynamics: General functional analytic setup and an example that forces chaos, A Computer Approach to Determine the Densest Translative Tetrahedron Packings, A rigorous study of possible configurations of limit cycles bifurcating from a hyper-elliptic Hamiltonian of degree five, Simulation study of random sequential deposition of binary mixtures of lattice animals on a three-dimensional cubic lattice, Irrationality and Transcendence Criteria for Infinite Series in Isabelle/HOL, Random sequential covering, Unique optima of the Delsarte linear program, The foundations of spectral computations via the solvability complexity index hierarchy, The BCC Lattice in a Long-Range Interaction System, Isoperimetric problems for zonotopes, Generalized geometric criteria for the absence of effective many-body interactions in the Asakura–Oosawa model, Density of triangulated ternary disc packings, Moment ratio inequality of bivariate Gaussian distribution and three-dimensional Gaussian product inequality, The smallest mono-unstable convex polyhedron with point masses has 8 faces and 11 vertices, The work of Maryna Viazovska, Mathematics and the formal turn, Emergence of Wulff-crystals from atomistic systems on the FCC and HCP lattices, From sphere packing to Fourier interpolation, Efficient algorithms for the dense packing of congruent circles inside a square, Maximal theta functions universal optimality of the hexagonal lattice for Madelung-like lattice energies, Unnamed Item, Conic linear optimization for computer-assisted proofs. Abstracts from the workshop held April 10--16, 2022, Computing Semigroups with Error Control, Entropic Trust Region for Densest Crystallographic Symmetry Group Packings, Some questions related to the reverse Minkowski theorem, A quantitative stability result for the sphere packing problem in dimensions 8 and 24, ON THE HARD SPHERE MODEL AND SPHERE PACKINGS IN HIGH DIMENSIONS, Packing, tiling, and covering with tetrahedra, Efficient Approximations for the Online Dispersion Problem, Extreme lattices: symmetries and decorrelation, Covering and Packing with Spheres by Diagonal Distortion in ℝ n, Minimal 𝑁-point diameters and 𝑓-best-packing constants in ℝ^{𝕕}, Glass phenomenology in the hard matrix model, ON A STRONG VERSION OF THE KEPLER CONJECTURE, Packing congruent spheres into a multi‐connected polyhedral domain, Proof Checking and Logic Programming, Discrete Fourier analysis on a dodecahedron and a tetrahedron, Efficient Formal Verification of Bounds of Linear Programs, Dense crystalline dimer packings of regular tetrahedra, Eigenfunctions of the Fourier transform with specified zeros, Theory of Quantum Computation and Philosophy of Mathematics. Part II, Shapes of Delaunay Simplexes and Structural Analysis of Hard Sphere Packings, Unnamed Item, A Combinatorial Approach to Small Ball Inequalities for Sums and Differences, Bounds for several-disk packings of hyperbolic surfaces, Social processes, program verification and all that, CATEGORY-BASED CO-GENERATION OF SEMINAL CONCEPTS AND RESULTS IN ALGEBRA AND NUMBER THEORY: CONTAINMENT-DIVISION AND GOLDBACH RINGS, Exact Solution of Sparse Linear Systems via Left-Looking Roundoff-Error-Free LU Factorization in Time Proportional to Arithmetic Work, Metrically homogeneous graphs of diameter 3, Upper bounds for packings of spheres of several radii, Estimates of the optimal density of sphere packings in high dimensions, Why Monte Carlo Simulations Are Inferences and Not Experiments, Varieties of mathematical understanding, The Significance of Relativistic Computation for the Philosophy of Mathematics, Asymptotics of best-packing on rectifiable sets, Dual linear programming bounds for sphere packing via modular forms, Formal Proofs for Nonlinear Optimization, An isoperimetric problem for three-dimensional parallelohedra, Kähler packings and Seshadri constants on projective complex surfaces, Densest geodesic ball packings to \({\mathbf S^2 \times \mathbf R}\) space groups generated by screw motions, On computer-assisted proving the existence of periodic and bounded orbits, Rotation invariant patterns for a nonlinear Laplace-Beltrami equation: a Taylor-Chebyshev series approach, Proof checking and logic programming, Busy beaver machines and the observant otter heuristic (or how to tame dreadful dragons), Flyspeck II: The basic linear programs, Crystallographic texture and group representations, Hyperuniform states of matter, Formalising mathematics -- in praxis; a mathematician's first experiences with Isabelle/HOL and the why and how of getting started, Typical ground states for large sets of interactions, High-dimensional sphere packing and the modular bootstrap, Solution of the propeller conjecture in \(\mathbb R^3\), Big Math and the one-brain barrier: the tetrapod model of mathematical knowledge, Approximation on the Voronoi cells of the \(A_d\) lattice, Optimal recovery of isotropic classes of twice-differentiable multivariate functions, Generating candidate busy beaver machines (or how to build the zany zoo), The set of packing and covering densities of convex disks, Checking Proofs, Sphere packing bounds via spherical codes, A note on Schwartz functions and modular forms, The 3-ball is a local pessimum for packing, Rhombellane space filling, Computer-aided proof of Erdős discrepancy properties, New 3D geometrical deposition methods for efficient packing of spheres based on tangency, Asymptotically self-similar blowup of the Hou-Luo model for the 3D Euler equations, DEM Simulation of Random Loose Packings of Micron-Sized Particles with Both Adhesion and Friction, Study of the Kepler's conjecture: the problem of the closest packing, ATP and presentation service for Mizar formalizations, Packing congruent hyperspheres into a hypersphere, Computer-assisted proof of performance ratios for the differencing method, On a computer-aided approach to the computation of Abelian integrals, On a generalization of Craig lattices, Contact numbers for congruent sphere packings in Euclidean 3-space, Perfect, strongly eutactic lattices are periodic extreme, Upper bound on the packing density of regular tetrahedra and octahedra, A candidate for the densest packing with equal balls in Thurston geometries, Automated theorem provers: a practical tool for the working mathematician?, On the translative packing densities of tetrahedra and cuboctahedra, Packing identical spheres into a cylinder, Optimized packing multidimensional hyperspheres: a unified approach, Polynomial-sized topological approximations using the permutahedron, Face-centered cubic crystallization of atomistic configurations, An introduction to mechanized reasoning, Asymptotic optimality of the triangular lattice for a class of optimal location problems, Globally optimized packings of non-uniform size spheres in \(\mathbb {R}^{d}\): a computational study, On packing \(\mathbb R^3\) with thin tori, Algebraic cycles from a computational point of view, A dense packing of regular tetrahedra, Automorphisms of modular lattices, Principal component analysis of persistent homology rank functions with case studies of spatial point patterns, sphere packing and colloids, Optimal \(N\)-point configurations on the sphere: ``magic numbers and Smale's 7th problem, The Besicovitch covering lemma and maximal functions, Long shortest vectors in low dimensional lattices, Pessimal packing shapes, Maximum packing densities of basic 3D objects, A revision of the proof of the Kepler conjecture, Packing twelve spherical caps to maximize tangencies, Floating-point arithmetic in the Coq system, Crystallization to the square lattice for a two-body potential, Spontaneous periodic orbits in the Navier-Stokes flow, Compact packings of space with two sizes of spheres, Computing spectral measures and spectral types, Towards a proof of the 24-cell conjecture, Perfect simulation of the hard disks model by partial rejection sampling, Locally optimal 2-periodic sphere packings, Optimal and non-optimal lattices for non-completely monotone interaction potentials, On percolation of two-dimensional hard disks, Stochastic protein folding simulation in the three-dimensional HP-model, Enumerating Rigid Sphere Packings, Upper bounds on packing density for circular cylinders with high aspect ratio, Compact packings of the plane with three sizes of discs, Packings by translation balls in \({\widetilde{{\mathrm {SL}}_2(\mathbb{R})}}\), Three-dimensional random Voronoi tessellations: from cubic crystal lattices to Poisson point processes, The hexagonal parquet tiling: \(k\)-isohedral monotiles with arbitrarily large \(k\)., Sphere packing and quantum gravity, Exponential improvements for superball packing upper bounds, kepler98, Incompleteness, Undecidability and Automated Proofs, Iterative Refinement for Linear Programming, Toward Computer-Assisted Discovery and Automated Proofs of Cutting Plane Theorems, Computer-assisted proofs in PDE: a survey, Limit theory of combinatorial optimization for random geometric graphs, Almost impossible \(E_8\) and Leech lattices, A survey on spherical designs and algebraic combinatorics on spheres, Proof assistants: history, ideas and future, Global dynamics in nonconservative nonlinear Schrödinger equations, Techniques and results on approximation algorithms for packing circles, An extremal property of the hexagonal lattice, Exploiting Symmetries in Polyhedral Computations, Selected Open Problems in Discrete Geometry and Optimization, Efficient algorithm for optimizing spectral partitions, Density of binary disc packings: playing with stoichiometry, Self-similar singularity of a 1D model for the 3D axisymmetric Euler equations, Distributing many points on spheres: minimal energy and designs, Certification of real inequalities: templates and sums of squares, There Is No 16-Clue Sudoku: Solving the Sudoku Minimum Number of Clues Problem via Hitting Set Enumeration, The packing density of the \(n\)-dimensional cross-polytope, Density of binary disc packings: the nine compact packings