Enviar aquest missatge de text: Dense sphere packings a blueprint for formal proofs / Thomas C. Hales. [electronic resource] :