Cargando…

Dense sphere packings : a blueprint for formal proofs.

The definitive account of the recent computer solution of the oldest problem in discrete geometry.

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Hales, Thomas Callister (Autor)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Cambridge : Cambridge University Press, 2012.
Colección:London Mathematical Society lecture note series ; 400.
Temas:
Acceso en línea:Texto completo

MARC

LEADER 00000cam a2200000Mi 4500
001 EBSCO_ocn815389268
003 OCoLC
005 20231017213018.0
006 m o d
007 cr |n|---|||||
008 121004s2012 enk ob 001 0 eng d
040 |a MHW  |b eng  |e pn  |c MHW  |d EBLCP  |d OCLCQ  |d AUW  |d OCLCO  |d DEBSZ  |d CUS  |d OCLCQ  |d OCLCF  |d YDXCP  |d N$T  |d UIU  |d CAMBR  |d E7B  |d OSU  |d COO  |d CDX  |d OCLCQ  |d UAB  |d OCLCQ  |d AU@  |d UKAHL  |d OCLCQ  |d S8J  |d OCLCQ  |d LUN  |d OCLCQ  |d OCLCO  |d OCLCQ  |d S9M 
019 |a 812174084  |a 812251792  |a 817913993  |a 1167231159 
020 |a 9781139570510 
020 |a 113957051X 
020 |a 9781139193894  |q (electronic bk.) 
020 |a 1139193899  |q (electronic bk.) 
020 |a 9781139568708  |q (electronic bk.) 
020 |a 1139568701  |q (electronic bk.) 
020 |a 9780521617703  |q (Paper) 
020 |a 0521617707  |q (Paper) 
024 8 |a 9786613950956 
029 1 |a DEBSZ  |b 379329972 
029 1 |a NLGGC  |b 351924418 
035 |a (OCoLC)815389268  |z (OCoLC)812174084  |z (OCoLC)812251792  |z (OCoLC)817913993  |z (OCoLC)1167231159 
037 |a 395095  |b MIL 
050 4 |a QA166.7 
072 7 |a MAT  |x 036000  |2 bisacsh 
082 0 4 |a 500 
049 |a UAMI 
100 1 |a Hales, Thomas Callister,  |e author. 
245 1 0 |a Dense sphere packings :  |b a blueprint for formal proofs. 
260 |a Cambridge :  |b Cambridge University Press,  |c 2012. 
300 |a 1 online resource (287 pages) 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
490 1 |a London Mathematical Society Lecture Note Series ;  |v 400 
588 0 |a Print version record. 
520 |a The definitive account of the recent computer solution of the oldest problem in discrete geometry. 
504 |a Includes bibliographical references (pages 262-263) and indexes. 
505 0 |a Close packing -- Trigonometry -- Volume -- Hypermap -- Fan -- Packing -- Local fan -- Tame hypermap. 
590 |a eBooks on EBSCOhost  |b EBSCO eBook Subscription Academic Collection - Worldwide 
650 0 |a Sphere packings. 
650 6 |a Empilements de sphères. 
650 7 |a MATHEMATICS  |x Combinatorics.  |2 bisacsh 
650 0 7 |a Colas, Teoría de las (Matemáticas)  |2 embucm 
650 7 |a Sphere packings  |2 fast 
776 0 8 |i Print version:  |a Hales, Thomas Callister.  |t Dense sphere packings.  |d Cambridge ; New York : Cambridge University Press, ©2012  |z 9780521617703  |w (DLC) 2012538866  |w (OCoLC)793221654 
830 0 |a London Mathematical Society lecture note series ;  |v 400. 
856 4 0 |u https://ebsco.uam.elogim.com/login.aspx?direct=true&scope=site&db=nlebk&AN=480315  |z Texto completo 
938 |a Askews and Holts Library Services  |b ASKH  |n AH34205933 
938 |a Askews and Holts Library Services  |b ASKH  |n AH33350849 
938 |a Askews and Holts Library Services  |b ASKH  |n AH26385614 
938 |a Coutts Information Services  |b COUT  |n 23610203  |c 35.00 GBP 
938 |a ProQuest Ebook Central  |b EBLB  |n EBL1024999 
938 |a ebrary  |b EBRY  |n ebr10608462 
938 |a EBSCOhost  |b EBSC  |n 480315 
938 |a YBP Library Services  |b YANK  |n 9754384 
938 |a YBP Library Services  |b YANK  |n 9783760 
938 |a YBP Library Services  |b YANK  |n 9809994 
938 |a YBP Library Services  |b YANK  |n 9808505 
994 |a 92  |b IZTAP