A computer verification of the Kepler conjecture - Thomas C. Hales (2003)