Some algorithms arising in the proof of the Kepler Conjecture (0)

by Thomas C Hales