Document Versions

A proof of the Kepler conjecture –Thomas C. Hales — 1994 — Math. Intelligencer
A proof of the Kepler conjecture –Thomas C. Hales — 1994 — Math. Intelligencer
A proof of the Kepler conjecture –Thomas C. Hales — 2005 — Ann. of Math
A Formulation of the Kepler Conjecture –Thomas C. Hales
The Kepler conjecture –Thomas C. Hales, John Harrison, Sean Mclaughlin, Tobias Nipkow, Steven Obua, Roland Zumkeller — Discrete and Computational Geometry
The Kepler Conjecture –Thomas C. Hales — 1998 — Math. Intelligencer