Computer Calculations used in the Proof of the Kepler Conjecture
Sphere Packings I,II
- ftp archive (code is quite archaic)
A Formulation of the Kepler Conjecture
- C++ code, formulation.cc, formulation.i etc.
Sphere Packings III
(complete)
Sphere Packings IV