Nantilus
Dense sphere packings : a blueprint for formal proofs
| Auteur principal : | |
|---|---|
| Format : | Livre |
| Langue : | anglais |
| Titre complet : | Dense sphere packings : a blueprint for formal proofs / Thomas C. Hales, ... |
| Publié : |
Cambridge :
Cambridge university press
, 2012, cop. 2012 |
| Description matérielle : | 1 vol. (XIV-271 p.) |
| Collection : | London Mathematical Society lecture note series ; 400 |
| Sujets : |
Bib. CRDM (Mathématiques)
| | Cote | Prêt | Statut | |
|---|---|---|---|---|
| Bibliothèque | 52C56 | Prêt sans prolongation | Disponible | |
| Prêt sous conditions | ||||