Dense sphere packings : a blueprint for formal proofs / Thomas C. Hales. Cambridge [u.a.] : Cambridge Univ. Pr., 2012