kepler98

swMATH23625MaRDI QIDQ35396FDOQ35396

Author name not available (Why is that?)

Source code repository: https://github.com/flyspeck/kepler98

Described by source

• A proof of the Kepler conjecture
• The Kepler Conjecture
• A formulation of the Kepler conjecture

Cited In (only showing first 100 items - show all)

• Flyspeck II: The basic linear programs
• Sphere packing and quantum gravity
• Computational Discrete Geometry
• Verification of dynamic bisimulation theorems in Coq
• Efficient Formal Verification of Bounds of Linear Programs
• Checking Proofs
• On computer-assisted proving the existence of periodic and bounded orbits
• Guaranteed deterministic approach to superhedging: sensitivity of solutions of the Bellman-Isaacs equations and numerical methods
• Critical configurations of solid bodies and the Morse theory of MIN functions
• Retrieving geometric information from images: the case of hand-drawn diagrams
• An extremal property of the hexagonal lattice
• A proof system for graph (non)-isomorphism verification
• Towards a proof of the 24-cell conjecture
• Global dynamics in nonconservative nonlinear Schrödinger equations
• Efficient Approximations for the Online Dispersion Problem
• Lakatos-style collaborative mathematics through dialectical, structured and abstract argumentation
• Polynomial-sized topological approximations using the permutahedron
• Locally optimal 2-periodic sphere packings
• Proof checking and logic programming
• Automorphisms of modular lattices
• Formalizing a fragment of combinatorics on words
• A note on Schwartz functions and modular forms
• What’s in a Theorem Name?
• Eigenfunctions of the Fourier transform with specified zeros
• The Besicovitch covering lemma and maximal functions
• Computer-assisted proofs in PDE: a survey
• Distant decimals of \(\pi \): formal proofs of some algorithms computing them and guarantees of exact computation
• Classification of alignments between concepts of formal mathematical systems
• High-dimensional sphere packing and the modular bootstrap
• Sphere packings. IV: Detailed bounds
• Sphere packings. VI: Tame graphs and linear programs
• Approximation on the Voronoi cells of the \(A_d\) lattice
• Hyperuniform states of matter
• Selected Open Problems in Discrete Geometry and Optimization
• ON THE HARD SPHERE MODEL AND SPHERE PACKINGS IN HIGH DIMENSIONS
• Title not available (Why is that?)
• The role of the Mizar mathematical library for interactive proof development in Mizar
• On Minimal Tilings with Convex Cells Each Containing a Unit Ball
• On percolation of two-dimensional hard disks
• Three-dimensional random Voronoi tessellations: from cubic crystal lattices to Poisson point processes
• Iterative refinement for linear programming
• On a computer-aided approach to the computation of Abelian integrals
• Proof assistants: history, ideas and future
• Bounds for several-disk packings of hyperbolic surfaces
• Formalizing Ordinal Partition Relations Using Isabelle/HOL
• Stochastic protein folding simulation in the three-dimensional HP-model
• Proof Checking and Logic Programming
• Dense crystalline dimer packings of regular tetrahedra
• Introduction to rigorous numerics in dynamics: General functional analytic setup and an example that forces chaos
• Automated theorem provers: a practical tool for the working mathematician?
• A dense packing of regular tetrahedra
• A revision of the proof of the Kepler conjecture
• Asymptotic optimality of the triangular lattice for a class of optimal location problems
• Single-sized spheres on surfaces (S4)
• Algebraic cycles from a computational point of view
• A FORMAL PROOF OF THE KEPLER CONJECTURE
• A Formal Proof of Cauchy’s Residue Theorem
• Introduction to Model Checking
• The set of packing and covering densities of convex disks
• Glass phenomenology in the hard matrix model
• Towards a new epistemology of mathematics
• Spontaneous periodic orbits in the Navier-Stokes flow
• Sphere packing bounds via spherical codes
• The future of logic: foundation-independence
• Cannonballs and honeycombs.
• Packing twelve spherical caps to maximize tangencies
• Optimal recovery of isotropic classes of twice-differentiable multivariate functions
• A semidefinite programming hierarchy for packing problems in discrete geometry
• Perfect, strongly eutactic lattices are periodic extreme
• Face-centered cubic crystallization of atomistic configurations
• Sphere packings. III: Extremal cases
• Densest geodesic ball packings to \({\mathbf S^2 \times \mathbf R}\) space groups generated by screw motions
• An intuitionistic proof of a discrete form of the Jordan curve theorem formalized in Coq with combinatorial hypermaps
• Packing identical spheres into a cylinder
• A candidate for the densest packing with equal balls in Thurston geometries
• Crystallization to the square lattice for a two-body potential
• Principal component analysis of persistent homology rank functions with case studies of spatial point patterns, sphere packing and colloids
• The challenge of computer mathematics
• A fully automatic theorem prover with human-style output
• Minimal 𝑁-point diameters and 𝑓-best-packing constants in ℝ^{𝕕}
• Computer-assisted proof of performance ratios for the differencing method
• Packing congruent hyperspheres into a hypersphere
• Upper bounds on packing density for circular cylinders with high aspect ratio
• Title not available (Why is that?)
• On a generalization of Craig lattices
• The hexagonal parquet tiling: \(k\)-isohedral monotiles with arbitrarily large \(k\).
• Discrete Fourier analysis on a dodecahedron and a tetrahedron
• Busy beaver machines and the observant otter heuristic (or how to tame dreadful dragons)
• Optimal and non-optimal lattices for non-completely monotone interaction potentials
• Limit theory of combinatorial optimization for random geometric graphs
• The dodecahedral conjecture
• Self-similar singularity of a 1D model for the 3D axisymmetric Euler equations
• Contact numbers for congruent sphere packings in Euclidean 3-space
• Study of the Kepler's conjecture: the problem of the closest packing
• The local optimality of the double lattice packing
• The 3-ball is a local pessimum for packing
• A survey on spherical designs and algebraic combinatorics on spheres
• Improved sphere packing lower bounds from Hurwitz lattices
• Upper bound on the packing density of regular tetrahedra and octahedra
• Maximum packing densities of basic 3D objects

This page was built for software: kepler98