Dense sphere packings: a blueprint for formal proofs
Auteur :
Hales, Thomas
Éditeur :
Cambridge University Press
ISBN :
9780521617703
Date de publication :
6 sept. 2012
Dimensions :
21,0 x 15,0 x 2,5 cm
Poids :
420 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Grande Bretagne
The 400-year-old Kepler conjecture about sphere packings is the oldest problem in discrete geometry. In this book, readers will learn about it through a proof that is much more accessible than the original proof of the theorem.