Dense sphere packings : a blueprint for formal proofs

Dense sphere packings : a blueprint for formal proofs

Saved in:
Bibliographic Details
Main Author : Hales Thomas Callister (Auteur)
Format : Book
Language : anglais
Title statement : Dense sphere packings : a blueprint for formal proofs / Thomas C. Hales, ...
Published : Cambridge : Cambridge university press , 2012, cop. 2012
Physical Description : 1 vol. (XIV-271 p.)
Series : London Mathematical Society lecture note series ; 400
Subjects :
Géométrie discrète
Empilements de sphères
Kepler, Conjecture de

Bib. CRDM (Mathématiques)

Holdings details from Bib. CRDM (Mathématiques)
Location Call Number Loan type Status
Bibliothèque 52C56 Prêt sans prolongation Available