TY - RPRT TI - Sphere packings I AU - Thomas C. Hales PY - 1998 UR - https://arxiv.org/abs/math/9811073 ID - math/9811073 ER -