TY - RPRT TI - A formulation of the Kepler conjecture AU - Samuel P. Ferguson AU - Thomas C. Hales PY - 2002 UR - https://arxiv.org/abs/math/9811072 ID - math/9811072 ER -