Dense Sphere Packings: A Blueprint for Formal Proofs (London Mathematical Society Lecture Note Series)

Blueprint

by Thomas Hales

Paperback

ISBN: 978-0-521-61770-3

ISBN-10: 0-521-61770-7

Cambridge University Press · 2012