The following pages link to A proof of the Kepler conjecture (Q2494223):
Displaying 50 items.
- kepler98 (Q35396) (← links)
- Densest geodesic ball packings to \({\mathbf S^2 \times \mathbf R}\) space groups generated by screw motions (Q277029) (← links)
- Busy beaver machines and the observant otter heuristic (or how to tame dreadful dragons) (Q306278) (← links)
- Solution of the propeller conjecture in \(\mathbb R^3\) (Q368772) (← links)
- The set of packing and covering densities of convex disks (Q393741) (← links)
- Sphere packing bounds via spherical codes (Q398996) (← links)
- The 3-ball is a local pessimum for packing (Q400987) (← links)
- Packing congruent hyperspheres into a hypersphere (Q427402) (← links)
- Computer-assisted proof of performance ratios for the differencing method (Q435724) (← links)
- Contact numbers for congruent sphere packings in Euclidean 3-space (Q452008) (← links)
- A candidate for the densest packing with equal balls in Thurston geometries (Q464802) (← links)
- Face-centered cubic crystallization of atomistic configurations (Q495903) (← links)
- An introduction to mechanized reasoning (Q504394) (← links)
- Approximation on the Voronoi cells of the \(A_d\) lattice (Q607494) (← links)
- Optimal recovery of isotropic classes of twice-differentiable multivariate functions (Q609738) (← links)
- On a computer-aided approach to the computation of Abelian integrals (Q639965) (← links)
- Upper bound on the packing density of regular tetrahedra and octahedra (Q650113) (← links)
- Automated theorem provers: a practical tool for the working mathematician? (Q657585) (← links)
- Maximum packing densities of basic 3D objects (Q708025) (← links)
- Floating-point arithmetic in the Coq system (Q714617) (← links)
- Towards a proof of the 24-cell conjecture (Q722369) (← links)
- Historical overview of the Kepler conjecture (Q734995) (← links)
- Upper bounds on packing density for circular cylinders with high aspect ratio (Q741612) (← links)
- Packings by translation balls in \({\widetilde{{\mathrm {SL}}_2(\mathbb{R})}}\) (Q742521) (← links)
- Computer-aided proof of Erdős discrepancy properties (Q892235) (← links)
- A dense packing of regular tetrahedra (Q958219) (← links)
- A revision of the proof of the Kepler conjecture (Q977177) (← links)
- Stochastic protein folding simulation in the three-dimensional HP-model (Q1004918) (← links)
- Three-dimensional random Voronoi tessellations: from cubic crystal lattices to Poisson point processes (Q1012704) (← links)
- The hexagonal parquet tiling: \(k\)-isohedral monotiles with arbitrarily large \(k\). (Q1013673) (← links)
- A survey on spherical designs and algebraic combinatorics on spheres (Q1039420) (← links)
- Proof assistants: history, ideas and future (Q1040001) (← links)
- Hyperuniform states of matter (Q1653681) (← links)
- Polynomial-sized topological approximations using the permutahedron (Q1739197) (← links)
- Globally optimized packings of non-uniform size spheres in \(\mathbb {R}^{d}\): a computational study (Q1749785) (← links)
- On percolation of two-dimensional hard disks (Q1799450) (← links)
- ATP and presentation service for Mizar formalizations (Q1945905) (← links)
- On a generalization of Craig lattices (Q1953836) (← links)
- Perfect, strongly eutactic lattices are periodic extreme (Q1959669) (← links)
- Optimized packing multidimensional hyperspheres: a unified approach (Q1979535) (← links)
- Automorphisms of modular lattices (Q1996079) (← links)
- Principal component analysis of persistent homology rank functions with case studies of spatial point patterns, sphere packing and colloids (Q1999944) (← links)
- The Besicovitch covering lemma and maximal functions (Q2002508) (← links)
- Long shortest vectors in low dimensional lattices (Q2005735) (← links)
- Packing twelve spherical caps to maximize tangencies (Q2016417) (← links)
- Crystallization to the square lattice for a two-body potential (Q2021752) (← links)
- Spontaneous periodic orbits in the Navier-Stokes flow (Q2022571) (← links)
- Compact packings of space with two sizes of spheres (Q2022627) (← links)
- Computing spectral measures and spectral types (Q2025634) (← links)
- Perfect simulation of the hard disks model by partial rejection sampling (Q2031485) (← links)
