A proof of the Kepler conjecture
From MaRDI portal
Publication:2494223
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
branch and boundorthoschemeradial projectionplanar graphlinear programtopological spacedihedral angleVoronoi cellsisomorphic graphs(ball) packingRogers simplex
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 (only showing first 100 items - show all)
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?
This page was built for publication: A proof of the Kepler conjecture
