skip to content
The Kepler conjecture : the Hales-Ferguson proof by Thomas Hales, Samuel Ferguson Preview this item
ClosePreview this item
Checking...

The Kepler conjecture : the Hales-Ferguson proof by Thomas Hales, Samuel Ferguson

Author: Jeffrey C Lagarias; Thomas Callister Hales; Samuel Ferguson
Publisher: New York, NY : Springer, ©2011.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Summary:
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 "(Bcannonball" packing. In a landmark result, this was proved by Thomas C. Hales and Samuel P. Ferguson, using an analytic  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Additional Physical Format: Print version:
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Jeffrey C Lagarias; Thomas Callister Hales; Samuel Ferguson
ISBN: 9781461411291 1461411297
OCLC Number: 761314220
Description: 1 online resource (xiv, 456 pages)
Contents: pt. 1. Introduction and survey --
pt. 2. Proof of the Kepler conjecture --
pt. 3. A revision to the proof of the Kepler conjecture --
pt. 4. Initial papers of the Hales program.
Responsibility: Jeffrey C. Lagarias, editor.
More information:

Abstract:

The Kepler conjecture, one of geometry's oldest unsolved problems. The Kepler conjecture states that the densest packing of three-dimensional Euclidean space by equal spheres is attained by the  Read more...

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/761314220> # The Kepler conjecture the Hales-Ferguson proof by Thomas Hales, Samuel Ferguson
    a schema:MediaObject, schema:Book, schema:CreativeWork ;
    library:oclcnum "761314220" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nyu> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1073473979#Place/new_york_ny> ; # New York, NY
    schema:about <http://experiment.worldcat.org/entity/work/data/1073473979#Thing/convex_and_discrete_geometry> ; # Convex and Discrete Geometry
    schema:about <http://dewey.info/class/511.6/e23/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/1073473979#Thing/discrete_groups> ; # Discrete groups
    schema:about <http://id.worldcat.org/fast/986844> ; # Kepler's conjecture
    schema:about <http://experiment.worldcat.org/entity/work/data/1073473979#Thing/mathematical_applications_in_the_physical_sciences> ; # Mathematical Applications in the Physical Sciences
    schema:about <http://experiment.worldcat.org/entity/work/data/1073473979#Topic/mathematics_general> ; # MATHEMATICS / General
    schema:about <http://experiment.worldcat.org/entity/work/data/1073473979#Thing/mathematics> ; # Mathematics
    schema:bookFormat schema:EBook ;
    schema:contributor <http://viaf.org/viaf/111685861> ; # Jeffrey C. Lagarias
    schema:contributor <http://viaf.org/viaf/221226708> ; # Samuel P. Ferguson
    schema:contributor <http://viaf.org/viaf/265904557> ; # Thomas Callister Hales
    schema:copyrightYear "2011" ;
    schema:datePublished "2011" ;
    schema:description "pt. 1. Introduction and survey -- pt. 2. Proof of the Kepler conjecture -- pt. 3. A revision to the proof of the Kepler conjecture -- pt. 4. Initial papers of the Hales program."@en ;
    schema:description "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 "(Bcannonball" 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."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/1073473979> ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isSimilarTo <http://worldcat.org/entity/work/data/1073473979#CreativeWork/> ;
    schema:name "The Kepler conjecture the Hales-Ferguson proof by Thomas Hales, Samuel Ferguson"@en ;
    schema:productID "761314220" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/761314220#PublicationEvent/new_york_ny_springer_2011> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/1073473979#Agent/springer> ; # Springer
    schema:url <http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=1174191> ;
    schema:url <http://link.springer.com/openurl?genre=book&isbn=978-1-4614-1128-4> ;
    schema:url <http://site.ebrary.com/id/10513278> ;
    schema:url <http://catdir.loc.gov/catdir/enhancements/fy1316/2011941118-t.html> ;
    schema:url <http://dx.doi.org/10.1007/978-1-4614-1129-1> ;
    schema:url <https://link.springer.com/openurl?genre=book&isbn=978-1-4614-1128-4> ;
    schema:url <http://www.myilibrary.com?id=508093> ;
    schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=884197> ;
    schema:workExample <http://worldcat.org/isbn/9781461411291> ;
    schema:workExample <http://dx.doi.org/10.1007/978-1-4614-1129-1> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/761314220> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/1073473979#Thing/convex_and_discrete_geometry> # Convex and Discrete Geometry
    a schema:Thing ;
    schema:name "Convex and Discrete Geometry" ;
    .

<http://experiment.worldcat.org/entity/work/data/1073473979#Thing/discrete_groups> # Discrete groups
    a schema:Thing ;
    schema:name "Discrete groups" ;
    .

<http://experiment.worldcat.org/entity/work/data/1073473979#Thing/mathematical_applications_in_the_physical_sciences> # Mathematical Applications in the Physical Sciences
    a schema:Thing ;
    schema:name "Mathematical Applications in the Physical Sciences" ;
    .

<http://experiment.worldcat.org/entity/work/data/1073473979#Topic/mathematics_general> # MATHEMATICS / General
    a schema:Intangible ;
    schema:name "MATHEMATICS / General"@en ;
    .

<http://id.worldcat.org/fast/986844> # Kepler's conjecture
    a schema:Intangible ;
    schema:name "Kepler's conjecture"@en ;
    .

<http://viaf.org/viaf/111685861> # Jeffrey C. Lagarias
    a schema:Person ;
    schema:birthDate "1949" ;
    schema:familyName "Lagarias" ;
    schema:givenName "Jeffrey C." ;
    schema:name "Jeffrey C. Lagarias" ;
    .

<http://viaf.org/viaf/221226708> # Samuel P. Ferguson
    a schema:Person ;
    schema:familyName "Ferguson" ;
    schema:givenName "Samuel P." ;
    schema:givenName "Samuel" ;
    schema:name "Samuel P. Ferguson" ;
    .

<http://viaf.org/viaf/265904557> # Thomas Callister Hales
    a schema:Person ;
    schema:familyName "Hales" ;
    schema:givenName "Thomas Callister" ;
    schema:name "Thomas Callister Hales" ;
    .

<http://worldcat.org/entity/work/data/1073473979#CreativeWork/>
    a schema:CreativeWork ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/761314220> ; # The Kepler conjecture the Hales-Ferguson proof by Thomas Hales, Samuel Ferguson
    .

<http://worldcat.org/isbn/9781461411291>
    a schema:ProductModel ;
    schema:isbn "1461411297" ;
    schema:isbn "9781461411291" ;
    .

<http://www.worldcat.org/title/-/oclc/761314220>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/761314220> ; # The Kepler conjecture the Hales-Ferguson proof by Thomas Hales, Samuel Ferguson
    schema:dateModified "2018-02-09" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.