Hales, Thomas Callister. <br/><br/>
Dense sphere packings:  a blueprint for formal proofs/ 
Thomas C. Hales. 
 - Cambridge;  New York:  Cambridge University Press,  c2012. 
 - xiv, 271 p.:  ill.;  23 cm. 
 - London Mathematical Society lecture note series;  400 .
 - London Mathematical Society lecture note series; .
<br/><br/>Includes bibliographical references (p. [261]-263) and indexes. 
<br/><br/><label>ISBN: </label>9780521617703 0521617707 
<br/><br/><label>LCCN: </label>2012538866 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Sphere packings.<br/>Kepler's conjecture.
<br/><br/><label>Dewey Class. No.: </label>511.6   / H167d