LEADER 01071nam a2200265Ia 4500
001 991001860919707536
008 121023s2012    enka     b    001 0 eng d
020   $a9780521617703
035   $ab14082421-39ule_inst
040   $aDip.to Matematica e Fisica$beng
084   $aAMS 52C17
084   $aLC QA166.7.H35
100 1 $aHales, Thomas Callister$0477628
245 10$aDense sphere packings :$ba blueprint for formal proofs /$cThomas C. Hales
260   $aCambridge ;$aNew York :$bCambridge University Press,$c2012
300   $axiv, 271 p. :$bill. ;$c23 cm
440  0$aLondon Mathematical Society lecture note series,$x0076-0552 ;$v400
504   $aIncludes bibliographical references (p. [261]-263) and indexes
650  0$aSphere packings
907   $a.b14082421$b13-11-12$c23-10-12
912   $a991001860919707536
945   $aLE013 52C HAL11 (2012)$g1$i2013000218243$lle013$op$pE43.30$q-$rl$s-  $t0$u3$v0$w3$x0$y.i15457448$z12-11-12
996   $aDense sphere packings$9241130
997   $aUNISALENTO
998   $ale013$b23-10-12$cm$da  $e-$feng$genk$h0$i0