The Kepler Conjecture The Hales-Ferguson Proof /

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 “...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Άλλοι συγγραφείς: Lagarias, Jeffrey C. (Επιμελητής έκδοσης)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: New York, NY : Springer New York : Imprint: Springer, 2011.
Θέματα:
Διαθέσιμο Online:Full Text via HEAL-Link
Πίνακας περιεχομένων:
  • 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.