Dense sphere packings : a blueprint for formal proofs

Enregistré dans:
Détails bibliographiques
Auteur principal : Hales Thomas Callister (Auteur)
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 :
LEADER 01444cam a2200385 4500
001 PPN166009423
003 http://www.sudoc.fr/166009423
005 20200717055300.0
010 |a 978-0-521-61770-3  |b br. 
035 |a (OCoLC)835301227 
073 1 |a 9780521617703  |b br. 
100 |a 20121206h20122012k y0frey0103 ba 
101 0 |a eng 
102 |a GB 
105 |a a a 001yy 
106 |a r 
200 1 |a Dense sphere packings  |b Texte imprimé  |e a blueprint for formal proofs  |f Thomas C. Hales, ... 
210 |a Cambridge  |c Cambridge university press  |d 2012, cop. 2012 
215 |a 1 vol. (XIV-271 p.)  |c ill.  |d 23 cm 
225 2 |a London mathematical society lecture note series  |v 400 
320 |a Bibliogr. p. [261-263]. Index 
410 | |0 013284878  |t London Mathematical Society lecture note series  |x 0076-0552  |v 400 
606 |3 PPN032326378  |a Géométrie discrète  |2 rameau 
606 |3 PPN061606987  |a Empilements de sphères  |2 rameau 
606 |3 PPN050801228  |a Kepler, Conjecture de  |2 rameau 
686 |a 52-01  |c 2000  |2 msc 
686 |a 52C17  |c 2000  |2 msc 
700 1 |3 PPN150224389  |a Hales  |b Thomas Callister  |f 1958-....  |4 070 
801 3 |a FR  |b Abes  |c 20170413  |g AFNOR 
915 |5 441092208:639572790  |b 20897 
930 |5 441092208:639572790  |b 441092208  |a ERC/52C56  |j u 
979 |a CCFA 
991 |5 441092208:639572790  |a exemplaire créé automatiquement par l'ABES 
997 |a CCFA  |b 20897  |d CMB  |e BAP  |s d  |c ERC/52C56 
998 |a 850026