Dense sphere packings: a blue print for formal proofs T. Hales
Material type: TextLanguage: English Series: London mathematical society lecture note series 400Publication details: Cambridge CUP 2012 Description: xiv, 271p. pbkISBN: 9780521617703Subject(s): FORMAL PROOFSDDC classification: 510.646Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Book | NISER LIBRARY | 510.646 HAL-D (Browse shelf(Opens below)) | Available | 11231 |
There are no comments on this title.