Dense sphere packings : a blueprint for formal proofs /
Hales, Thomas Callister.
Cambridge ; New York : Cambridge University Press,
2012.
Includes bibliographical references and index.
Sphere packings.