Dense sphere packings: a blueprint for formal proofs
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Cambridge [u.a.]
Cambridge Univ. Press
2012
|
| Ausgabe: | 1. publ. |
| Schriftenreihe: | London Mathematical Society lecture note series
400 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XIV, 271 S. graph. Darst. |
| ISBN: | 9780521617703 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV040128839 | ||
| 003 | DE-604 | ||
| 005 | 20121004 | ||
| 007 | t | ||
| 008 | 120510s2012 d||| |||| 00||| eng d | ||
| 020 | |a 9780521617703 |9 978-0-521-61770-3 | ||
| 035 | |a (OCoLC)796219591 | ||
| 035 | |a (DE-599)OBVAC08921755 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-20 |a DE-188 |a DE-91G |a DE-19 |a DE-634 |a DE-83 | ||
| 084 | |a SK 170 |0 (DE-625)143221: |2 rvk | ||
| 084 | |a SK 180 |0 (DE-625)143222: |2 rvk | ||
| 084 | |a SK 380 |0 (DE-625)143235: |2 rvk | ||
| 084 | |a 52C17 |2 msc | ||
| 100 | 1 | |a Hales, Thomas C. |d 1958- |e Verfasser |0 (DE-588)137005822 |4 aut | |
| 245 | 1 | 0 | |a Dense sphere packings |b a blueprint for formal proofs |c Thomas C. Hales |
| 250 | |a 1. publ. | ||
| 264 | 1 | |a Cambridge [u.a.] |b Cambridge Univ. Press |c 2012 | |
| 300 | |a XIV, 271 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a London Mathematical Society lecture note series |v 400 | |
| 650 | 0 | 7 | |a Kugelpackung |0 (DE-588)4165929-6 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Kugelpackung |0 (DE-588)4165929-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 830 | 0 | |a London Mathematical Society lecture note series |v 400 |w (DE-604)BV000000130 |9 400 | |
| 856 | 4 | 2 | |m HBZ Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024986050&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-024986050 | ||
Datensatz im Suchindex
| _version_ | 1804149092698292225 |
|---|---|
| adam_text | Titel: Dense sphere packings
Autor: Hales, Thomas C
Jahr: 2012
Contents Preface page vii PART ONE OVERVIEW 1 Close Packing 3 1.1 History 3 1.2 Face-Centered Cubic 6 1.3 Hexagonal-Close Packing 10 1.4 Gauss 13 1.5 Thue 14 1.6 Dense Packings in a Nutshell 17 PART TWO FOUNDATIONS 23 Trigonometry 25 2.1 Background Knowledge 25 2.2 Trig Identities 27 2.3 Vector Geometry 33 2.4 Angle 39 2.5 Coordinates 51 2.6 Cycle 55 2.7 Chapter Summary 60 Volume 61 3.1 Background in Measure 61 3.2 Primitive Volume 63 3.3 Finiteness and Volume 70
vi Contents 4 Hypermap 72 4.1 Background on Permutations 73 4.2 Definitions 74 4.3 Walkup 78 4.4 Planarity 83 4.5 Path 86 4.6 Subquotient 91 4.7 Generation 95 5 Fan 112 5.1 Definitions 112 5.2 Topology 117 5.3 Planarity 121 5.4 Polyhedron 132 PART THREE THE KEPLER CONJECTURE 143 6 Packing 145 6.1 The Primitive State of Our Subject Revealed 145 6.2 Rogers Simplex 150 6.3 Cells 167 6.4 Clusters 180 6.5 Counting Spheres 185 7 Local Fan 194 7.1 Localization 194 7.2 Modification 203 7.3 Polarity 209 7.4 Main Estimate 212 8 Tame Hypermap 235 8.1 Definition 236 8.2 Contravening Hypermap 238 8.3 Contravention is Tame 243 8.4 Admissibility 248 8.5 Linear Programs 250 8.6 Strong Dodecahedral Theorem 252 Appendix A Credits 257 References 261 General index 264 Notation index 269
|
| any_adam_object | 1 |
| author | Hales, Thomas C. 1958- |
| author_GND | (DE-588)137005822 |
| author_facet | Hales, Thomas C. 1958- |
| author_role | aut |
| author_sort | Hales, Thomas C. 1958- |
| author_variant | t c h tc tch |
| building | Verbundindex |
| bvnumber | BV040128839 |
| classification_rvk | SK 170 SK 180 SK 380 |
| ctrlnum | (OCoLC)796219591 (DE-599)OBVAC08921755 |
| discipline | Mathematik |
| edition | 1. publ. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01543nam a2200385 cb4500</leader><controlfield tag="001">BV040128839</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20121004 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">120510s2012 d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780521617703</subfield><subfield code="9">978-0-521-61770-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)796219591</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)OBVAC08921755</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-20</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 170</subfield><subfield code="0">(DE-625)143221:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 180</subfield><subfield code="0">(DE-625)143222:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 380</subfield><subfield code="0">(DE-625)143235:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">52C17</subfield><subfield code="2">msc</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Hales, Thomas C.</subfield><subfield code="d">1958-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)137005822</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Dense sphere packings</subfield><subfield code="b">a blueprint for formal proofs</subfield><subfield code="c">Thomas C. Hales</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. publ.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge [u.a.]</subfield><subfield code="b">Cambridge Univ. Press</subfield><subfield code="c">2012</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIV, 271 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">London Mathematical Society lecture note series</subfield><subfield code="v">400</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Kugelpackung</subfield><subfield code="0">(DE-588)4165929-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Kugelpackung</subfield><subfield code="0">(DE-588)4165929-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">London Mathematical Society lecture note series</subfield><subfield code="v">400</subfield><subfield code="w">(DE-604)BV000000130</subfield><subfield code="9">400</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024986050&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-024986050</subfield></datafield></record></collection> |
| id | DE-604.BV040128839 |
| illustrated | Illustrated |
| indexdate | 2024-07-10T00:17:32Z |
| institution | BVB |
| isbn | 9780521617703 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-024986050 |
| oclc_num | 796219591 |
| open_access_boolean | |
| owner | DE-20 DE-188 DE-91G DE-BY-TUM DE-19 DE-BY-UBM DE-634 DE-83 |
| owner_facet | DE-20 DE-188 DE-91G DE-BY-TUM DE-19 DE-BY-UBM DE-634 DE-83 |
| physical | XIV, 271 S. graph. Darst. |
| publishDate | 2012 |
| publishDateSearch | 2012 |
| publishDateSort | 2012 |
| publisher | Cambridge Univ. Press |
| record_format | marc |
| series | London Mathematical Society lecture note series |
| series2 | London Mathematical Society lecture note series |
| spelling | Hales, Thomas C. 1958- Verfasser (DE-588)137005822 aut Dense sphere packings a blueprint for formal proofs Thomas C. Hales 1. publ. Cambridge [u.a.] Cambridge Univ. Press 2012 XIV, 271 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier London Mathematical Society lecture note series 400 Kugelpackung (DE-588)4165929-6 gnd rswk-swf Kugelpackung (DE-588)4165929-6 s DE-604 London Mathematical Society lecture note series 400 (DE-604)BV000000130 400 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024986050&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Hales, Thomas C. 1958- Dense sphere packings a blueprint for formal proofs London Mathematical Society lecture note series Kugelpackung (DE-588)4165929-6 gnd |
| subject_GND | (DE-588)4165929-6 |
| title | Dense sphere packings a blueprint for formal proofs |
| title_auth | Dense sphere packings a blueprint for formal proofs |
| title_exact_search | Dense sphere packings a blueprint for formal proofs |
| title_full | Dense sphere packings a blueprint for formal proofs Thomas C. Hales |
| title_fullStr | Dense sphere packings a blueprint for formal proofs Thomas C. Hales |
| title_full_unstemmed | Dense sphere packings a blueprint for formal proofs Thomas C. Hales |
| title_short | Dense sphere packings |
| title_sort | dense sphere packings a blueprint for formal proofs |
| title_sub | a blueprint for formal proofs |
| topic | Kugelpackung (DE-588)4165929-6 gnd |
| topic_facet | Kugelpackung |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024986050&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000130 |
| work_keys_str_mv | AT halesthomasc densespherepackingsablueprintforformalproofs |