The Kepler Conjecture The Hales-Ferguson Proof

The Kepler Conjecture The Hales-Ferguson Proof / edited by Jeffrey C. Lagarias.

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

Full description

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Lagarias, Jeffrey C. (Editor)
Format: eBook
Language:English
Published: New York, NY : Springer New York : Imprint: Springer, 2011.
Edition:1st ed. 2011.
Series:Springer eBook Collection.
Subjects:
Convex geometry .
Discrete geometry.
Mathematical physics.
Electronic resources (E-books)
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Table of Contents:
  • 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.

Similar Items