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