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 : |
Chargement en cours