60,10€(IVA inc.)
Dense sphere packings: a blueprint for formal proofs
- Hales, Thomas
- 978-0-521-61770-3
- 2012-08-01