Hales, Thomas Callister
Overview
Works:  8 works in 45 publications in 2 languages and 1,022 library holdings 

Roles:  Author 
Classifications:  QA166.7, 511.6 
Publication Timeline
.
Most widely held works by
Thomas Callister Hales
The subregular germ of orbital integrals by
Thomas Callister Hales(
Book
)
11 editions published between 1986 and 1992 in English and held by 222 WorldCat member libraries worldwide
11 editions published between 1986 and 1992 in English and held by 222 WorldCat member libraries worldwide
Dense sphere packings : a blueprint for formal proofs by
Thomas Callister Hales(
Book
)
15 editions published in 2012 in English and German and held by 212 WorldCat member libraries worldwide
"The 400yearold Kepler conjecture asserts that no packing of congruent balls in three dimensions can have a density exceeding the familiar pyramidshaped cannonball arrangement. In this book, a new proof of the conjecture is presented that makes it accessible for the first time to a broad mathematical audience. The book also presents solutions to other previously unresolved conjectures in discrete geometry, including the strong dodecahedral conjecture on the smallest surface area of a Voronoi cell in a sphere packing. This book is also currently being used as a blueprint for a largescale formal proof project, which aims to check every logical inference of the proof of the Kepler conjecture by computer. This is an indispensable resource for those who want to be brought up to date with research on the Kepler conjecture"P. [4] de la cob
15 editions published in 2012 in English and German and held by 212 WorldCat member libraries worldwide
"The 400yearold Kepler conjecture asserts that no packing of congruent balls in three dimensions can have a density exceeding the familiar pyramidshaped cannonball arrangement. In this book, a new proof of the conjecture is presented that makes it accessible for the first time to a broad mathematical audience. The book also presents solutions to other previously unresolved conjectures in discrete geometry, including the strong dodecahedral conjecture on the smallest surface area of a Voronoi cell in a sphere packing. This book is also currently being used as a blueprint for a largescale formal proof project, which aims to check every logical inference of the proof of the Kepler conjecture by computer. This is an indispensable resource for those who want to be brought up to date with research on the Kepler conjecture"P. [4] de la cob
The Kepler conjecture : the HalesFerguson proof by Thomas Hales, Samuel Ferguson by
Jeffrey C Lagarias(
Book
)
9 editions published in 2011 in English and held by 58 WorldCat member libraries worldwide
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 threedimensional 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 followup 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 coguest editor, with Gábor FejesTóth, of the special issue of Discrete & Computational Geometry that originally published the proof
9 editions published in 2011 in English and held by 58 WorldCat member libraries worldwide
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 threedimensional 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 followup 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 coguest editor, with Gábor FejesTóth, of the special issue of Discrete & Computational Geometry that originally published the proof
Introduction to the Flyspeck project(
)
1 edition published in 2006 in English and held by 16 WorldCat member libraries worldwide
1 edition published in 2006 in English and held by 16 WorldCat member libraries worldwide
The subregular germ of orbital intervals by
Thomas Callister Hales(
Book
)
6 editions published in 1992 in English and held by 9 WorldCat member libraries worldwide
6 editions published in 1992 in English and held by 9 WorldCat member libraries worldwide
Unipotent classes induced from endoscopic groups by
Thomas Callister Hales(
Book
)
1 edition published in 1987 in English and held by 2 WorldCat member libraries worldwide
1 edition published in 1987 in English and held by 2 WorldCat member libraries worldwide
The Kepler conjecture(
Book
)
1 edition published in 2006 in English and held by 1 WorldCat member library worldwide
1 edition published in 2006 in English and held by 1 WorldCat member library worldwide
Basiswissen palliativmedizin by
Thomas Callister Hales(
Book
)
1 edition published in 2011 in German and held by 1 WorldCat member library worldwide
1 edition published in 2011 in German and held by 1 WorldCat member library worldwide
Audience Level
0 

1  
Kids  General  Special 
Related Identities
Useful Links
Alternative Names
Hales, Thomas.
Hales, Thomas 1958
Hales, Thomas C.
Hales, Thomas Callister 1958
Thomas Callister Hales amerikansk matematikar
Thomas Callister Hales amerikansk matematiker
Thomas Callister Hales matemático estadounidense
Thomas Hales
Thomas Hales Amerikaans wiskundige
Thomas Hales Thomas Hales
Thomas Hales USamerikanischer Mathematiker und MellonProfessor für Mathematik an der University of Pittsburgh
توماس كوليستير هيلز
トーマス・C・ヘイルズ
托马斯·黑尔斯
Languages
Covers