The Kepler Conjecture (Record no. 106281)
[ view plain ]
000 -LEADER | |
---|---|
fixed length control field | 04655nam a22004575i 4500 |
001 - CONTROL NUMBER | |
control field | 978-1-4614-1129-1 |
003 - CONTROL NUMBER IDENTIFIER | |
control field | DE-He213 |
005 - DATE AND TIME OF LATEST TRANSACTION | |
control field | 20140220083733.0 |
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION | |
fixed length control field | cr nn 008mamaa |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
fixed length control field | 111107s2011 xxu| s |||| 0|eng d |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
International Standard Book Number | 9781461411291 |
-- | 978-1-4614-1129-1 |
024 7# - OTHER STANDARD IDENTIFIER | |
Standard number or code | 10.1007/978-1-4614-1129-1 |
Source of number or code | doi |
050 #4 - LIBRARY OF CONGRESS CALL NUMBER | |
Classification number | QA639.5-640.7 |
050 #4 - LIBRARY OF CONGRESS CALL NUMBER | |
Classification number | QA640.7-640.77 |
072 #7 - SUBJECT CATEGORY CODE | |
Subject category code | PBMW |
Source | bicssc |
072 #7 - SUBJECT CATEGORY CODE | |
Subject category code | PBD |
Source | bicssc |
072 #7 - SUBJECT CATEGORY CODE | |
Subject category code | MAT012020 |
Source | bisacsh |
072 #7 - SUBJECT CATEGORY CODE | |
Subject category code | MAT008000 |
Source | bisacsh |
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
Classification number | 516.1 |
Edition number | 23 |
100 1# - MAIN ENTRY--PERSONAL NAME | |
Personal name | Lagarias, Jeffrey C. |
Relator term | editor. |
245 14 - TITLE STATEMENT | |
Title | The Kepler Conjecture |
Medium | [electronic resource] : |
Remainder of title | The Hales-Ferguson Proof / |
Statement of responsibility, etc | edited by Jeffrey C. Lagarias. |
264 #1 - | |
-- | New York, NY : |
-- | Springer New York : |
-- | Imprint: Springer, |
-- | 2011. |
300 ## - PHYSICAL DESCRIPTION | |
Extent | XIV, 456 p. 93 illus., 11 illus. in color. |
Other physical details | online resource. |
336 ## - | |
-- | text |
-- | txt |
-- | rdacontent |
337 ## - | |
-- | computer |
-- | c |
-- | rdamedia |
338 ## - | |
-- | online resource |
-- | cr |
-- | rdacarrier |
347 ## - | |
-- | text file |
-- | |
-- | rda |
505 0# - FORMATTED CONTENTS NOTE | |
Formatted contents note | Preface -- Part I, Introduction and Survey -- 1 The Kepler Conjecture and Its Proof, by J. C. Lagarias -- 2 Bounds for Local Density of Sphere Packings and the Kepler Conjecture, by J. C. Lagarias -- Part II, Proof of the Kepler Conjecture -- Guest Editor's Foreword -- 3 Historical Overview of the Kepler Conjecture, by T. C. Hales -- 4 A Formulation of the Kepler Conjecture, by T. C. Hales and S. P. Ferguson -- 5 Sphere Packings III. Extremal Cases, by T. C. Hales -- 6 Sphere Packings IV. Detailed Bounds, by T. C. Hales -- 7 Sphere Packings V. Pentahedral Prisms, by S. P. Ferguson -- 8 Sphere Packings VI. Tame Graphs and Linear Programs, by T. C. Hales -- Part III, A Revision to the Proof of the Kepler Conjecture -- 9 A Revision of the Proof of the Kepler Conjecture, by T. C. Hales, J. Harrison, S. McLaughlin, T. Nipkow, S. Obua, and R. Zumkeller -- Part IV, Initial Papers of the Hales Program -- 10 Sphere Packings I, by T. C. Hales -- 11 Sphere Packings II, by T. C. Hales -- Index of Symbols -- Index of Subjects. |
520 ## - SUMMARY, ETC. | |
Summary, etc | The Kepler conjecture, one of geometry's oldest unsolved problems, was formulated in 1611 by Johannes Kepler and mentioned by Hilbert in his famous 1900 problem list. The Kepler conjecture states that the densest packing of three-dimensional Euclidean space by equal spheres is attained by the “cannonball" packing. In a landmark result, this was proved by Thomas C. Hales and Samuel P. Ferguson, using an analytic argument completed with extensive use of computers. This book centers around six papers, presenting the detailed proof of the Kepler conjecture given by Hales and Ferguson, published in 2006 in a special issue of Discrete & Computational Geometry. Further supporting material is also presented: a follow-up paper of Hales et al (2010) revising the proof, and describing progress towards a formal proof of the Kepler conjecture. For historical reasons, this book also includes two early papers of Hales that indicate his original approach to the conjecture. The editor's two introductory chapters situate the conjecture in a broader historical and mathematical context. These chapters provide a valuable perspective and are a key feature of this work. Thomas C. Hales, Mellon Professor of Mathematics at the University of Pittsburgh, began his efforts to solve the Kepler conjecture before 1992. He is a pioneer in the use of computer proof techniques, and he continues work on a formal proof of the Kepler conjecture as the aim of the Flyspeck Project (F, P and K standing for Formal Proof of Kepler). Samuel P. Ferguson completed his doctorate in 1997 under the direction of Hales at the University of Michigan. In 1995, Ferguson began to work with Hales and made significant contributions to the proof of the Kepler conjecture. His doctoral work established one crucial case of the proof, which appeared as a singly authored paper in the detailed proof. Jeffrey C. Lagarias, Professor of Mathematics at the University of Michigan, Ann Arbor, was a co-guest editor, with Gábor Fejes-Tóth, of the special issue of Discrete & Computational Geometry that originally published the proof. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Mathematics. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Discrete groups. |
650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Mathematics. |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Convex and Discrete Geometry. |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Mathematical Applications in the Physical Sciences. |
710 2# - ADDED ENTRY--CORPORATE NAME | |
Corporate name or jurisdiction name as entry element | SpringerLink (Online service) |
773 0# - HOST ITEM ENTRY | |
Title | Springer eBooks |
776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
Display text | Printed edition: |
International Standard Book Number | 9781461411284 |
856 40 - ELECTRONIC LOCATION AND ACCESS | |
Uniform Resource Identifier | http://dx.doi.org/10.1007/978-1-4614-1129-1 |
912 ## - | |
-- | ZDB-2-SMA |
No items available.