DOCUMENTA MATHEMATICA, Vol. Extra Volume: Optimization Stories (2012), 439-446

Michael Joswig

From Kepler to Hales, and Back to Hilbert

2010 Mathematics Subject Classification: 01A65 (52B17, 05B40, 03B35)

Keywords and Phrases: Sphere packing, Kepler conjecture, formal proofs

Full text: dvi.gz 19 k, dvi 58 k, ps.gz 3174 k, pdf 368 k.