Dense sphere packings: a blueprint for formal proofs/
Hales, Thomas Callister.
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; .
Includes bibliographical references (p. [261]-263) and indexes.
9780521617703 0521617707
2012538866
Sphere packings.
Kepler's conjecture.
511.6 / H167d
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; .
Includes bibliographical references (p. [261]-263) and indexes.
9780521617703 0521617707
2012538866
Sphere packings.
Kepler's conjecture.
511.6 / H167d