Dense sphere packings : a blueprint for formal proofs

著者

• Hales, Thomas Callister

書誌事項

Dense sphere packings : a blueprint for formal proofs

Thomas C. Hales

（London Mathematical Society lecture note series, 400）

Cambridge University Press, 2012

• : pbk

注記

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

• NII書誌ID(NCID): BB10197310
• ISBN:
  • 9780521617703
• 出版国コード: uk
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Cambridge
• ページ数/冊数: xiv, 271 p.
• 大きさ: 23 cm
• 分類:
  • LCC : QA166.7
  • DC23 : 511.6
• 件名:
  • LCSH : Sphere packings
• 親書誌ID:
  • BA0005393X