Computer Calculations used in the Proof of the Kepler Conjecture

Sphere Packings I,II

A Formulation of the Kepler Conjecture

Sphere Packings III

(complete)

Sphere Packings IV