Dense sphere packings: a blueprint for formal proofs

Dense sphere packings: a blueprint for formal proofs

Hales, Thomas

60,10 €(IVA inc.)

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.

  • ISBN: 978-0-521-61770-3
  • Editorial: Cambridge University
  • Encuadernacion: Rústica
  • Páginas: 280
  • Fecha Publicación: 01/08/2012
  • Nº Volúmenes: 1
  • Idioma: Inglés