Book Review: Dense sphere packings: a blueprint for formal proofs

DOI10.1090/BULL/1502zbMATH Open1325.00012OpenAlexW2907826834WikidataQ113823146 ScholiaQ113823146MaRDI QIDQ3451250

Jeffrey C. Lagarias

Publication date: 10 November 2015

Published in: Bulletin of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL: http://www.ams.org/journals/bull/2016-53-01/S0273-0979-2015-01502-8/S0273-0979-2015-01502-8.pdf

Mathematics Subject Classification ID

Packing and covering in (n) dimensions (aspects of discrete geometry) (52C17) External book reviews (00A17) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to convex and discrete geometry (52-01)

Uses Software

• Flyspeck

This page was built for publication: Book Review: Dense sphere packings: a blueprint for formal proofs