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.646
| Item type | Current library | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
Book
|
NISER LIBRARY | 510.646 HAL-D (Browse shelf(Opens below)) | Available | 11231 |
Browsing NISER LIBRARY shelves Close shelf browser (Hides shelf browser)
| 510.633 MAR-I Introduction to mathematics of satisfiability | 510.633 MAR-I Introduction to mathematics of satisfiability | 510.646 GUN-H Handbook of mathematical induction:theory and applications | 510.646 HAL-D Dense sphere packings: a blue print for formal proofs | 510.646 WOH-I Introduction to proof in abstract mathematics | 510.65 MEN-I Introduction to mathematical logic | 510.65 MEN-I Introduction to mathematical logic |
There are no comments on this title.