|
Overview
Full Product Details
Author: Jeffrey C. Lagarias , Samuel P. Ferguson , Jeffrey C. Lagarias
Publisher: Springer-Verlag New York Inc.
Imprint: Springer-Verlag New York Inc.
Edition: 2011
Dimensions:
Width: 15.50cm
, Height: 2.50cm
, Length: 23.50cm
Weight: 7.139kg
ISBN: 9781461411284
ISBN 10: 1461411289
Pages: 456
Publication Date: 08 November 2011
Audience:
Professional and scholarly
,
College/higher education
,
Professional & Vocational
,
Postgraduate, Research & Scholarly
Format: Paperback
Publisher's Status: Active
Availability: Awaiting stock 
The supplier is currently out of stock of this item. It will be ordered for you and placed on backorder. Once it does come back in stock, we will ship it out for you.
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.
Reviews
Author Information
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 Gabor Fejes-Toth, of the special issue of Discrete & Computational Geometry that originally published the proof.
Tab Content 6
Author Website:
Customer Reviews
Recent Reviews
No review item found!
Add your own review!
Countries Available
All regions
|
