Cargando…
Dense sphere packings : a blueprint for formal proofs.
The definitive account of the recent computer solution of the oldest problem in discrete geometry.
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Cambridge :
Cambridge University Press,
2012.
|
| Colección: | London Mathematical Society lecture note series ;
400. |
| Temas: | |
| Acceso en línea: | Texto completo |
| Sumario: | The definitive account of the recent computer solution of the oldest problem in discrete geometry. |
|---|---|
| Descripción Física: | 1 online resource (287 pages) |
| Bibliografía: | Includes bibliographical references (pages 262-263) and indexes. |
| ISBN: | 9781139570510 113957051X 9781139193894 1139193899 9781139568708 1139568701 9780521617703 0521617707 |