01071nam a2200265Ia 4500991001860919707536121023s2012 enka b 001 0 eng d9780521617703b14082421-39ule_instDip.to Matematica e FisicaengAMS 52C17LC QA166.7.H35Hales, Thomas Callister477628Dense sphere packings :a blueprint for formal proofs /Thomas C. HalesCambridge ;New York :Cambridge University Press,2012xiv, 271 p. :ill. ;23 cmLondon Mathematical Society lecture note series,0076-0552 ;400Includes bibliographical references (p. [261]-263) and indexesSphere packings.b1408242113-11-1223-10-12991001860919707536LE013 52C HAL11 (2012)12013000218243le013pE43.30-l- 03030.i1545744812-11-12Dense sphere packings241130UNISALENTOle01323-10-12ma -engenk00