Book review of: T. C. Hales, Dense sphere packings. A blueprint for formal proofs

DOI10.1017/BSL.2014.35zbMATH Open1336.00007OpenAlexW2313364600MaRDI QIDQ2795210

Jeremy Avigad

Publication date: 18 March 2016

Published in: The Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/bsl.2014.35

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 of: T. C. Hales, Dense sphere packings. A blueprint for formal proofs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2795210)