Dense sphere packings : a blueprint for formal proofs

Author(s)

• Hales, Thomas Callister

Bibliographic Information

Dense sphere packings : a blueprint for formal proofs

Thomas C. Hales

（London Mathematical Society lecture note series, 400）

Cambridge University Press, 2012

• : pbk

Note

Includes bibliographical references (p. [261]-263) and indexes

• NCID: BB10197310
• ISBN:
  • 9780521617703
• Country Code: uk
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Cambridge
• Pages/Volumes: xiv, 271 p.
• Size: 23 cm
• Classification:
  • LCC : QA166.7
  • DC23 : 511.6
• Subject Headings:
  • LCSH : Sphere packings
• Parent Bibliography ID:
  • BA0005393X