Linear Programs for the Kepler Conjecture

DOI10.1007/978-3-642-15582-6_28zbMath1294.68122OpenAlexW1940435797MaRDI QIDQ5747875

Thomas C. Hales

Publication date: 14 September 2010

Published in: Mathematical Software – ICMS 2010 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-15582-6_28

Mathematics Subject Classification ID

Related Items (2)

A replication crisis in mathematics? ⋮ Efficient Formal Verification of Bounds of Linear Programs

Uses Software

• GLPK
• Flyspeck
• kepler98

This page was built for publication: Linear Programs for the Kepler Conjecture