Cargando…
Dense sphere packings: a blueprint for formal proofs
The definitive account of the recent computer solution of the oldest problem in discrete geometry.
| Autor principal: | |
|---|---|
| Lenguaje: | eng |
| Publicado: |
Cambridge University Press
2012
|
| Materias: | |
| Acceso en línea: | http://cds.cern.ch/record/2300799 |
| Sumario: | The definitive account of the recent computer solution of the oldest problem in discrete geometry. |
|---|