TY - RPRT TI - Sphere packings IV AU - Thomas C. Hales PY - 2002 UR - https://arxiv.org/abs/math/9811076 ID - math/9811076 ER -