Dense Sphere Packings: A Blueprint for Formal Proofs

by Thomas Hales · 1 review · 2014

Reviewed by Journal Date Access
Jeremy Avigad The Bulletin of Symbolic Logic 2014-12-00 Restricted

Metaphysics & Logic

Also by Hales

Search PhilReviews for this title