Reviews matching “Dense Sphere Packings: A Blueprint for Formal Proofs”

1 result

BookAuthorReviewerJournalDate
Dense Sphere Packings: A Blueprint for Formal Proofs Thomas Hales Jeremy Avigad The Bulletin of Symbolic Logic 2014-12-00

Open this search with filters