Hales, Thomas Callister
Overview
Works:  10 works in 54 publications in 2 languages and 1,587 library holdings 

Genres:  Academic theses 
Roles:  Author, Other 
Classifications:  QA166.7, 511.6 
Publication Timeline
.
Most widely held works by
Thomas Callister Hales
Dense sphere packings : a blueprint for formal proofs by
Thomas Callister Hales(
)
18 editions published in 2012 in English and German and held by 863 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"Page 4 of cover
18 editions published in 2012 in English and German and held by 863 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"Page 4 of cover
The Kepler conjecture : the HalesFerguson proof by Thomas Hales, Samuel Ferguson by
Jeffrey C Lagarias(
)
11 editions published between 2006 and 2011 in English and held by 415 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 ""cannonball"" 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
11 editions published between 2006 and 2011 in English and held by 415 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 ""cannonball"" 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
The subregular germ of orbital integrals by
Thomas Callister Hales(
Book
)
8 editions published between 1986 and 1992 in English and held by 244 WorldCat member libraries worldwide
An integral formula for the subregular germ of a [italic small capital]Korbital integral is developed. The formula holds for any reductive group over a [italic]padic field of characteristic zero. This expression of the subregular germ is obtained by applying Igusa's theory of asymptotic expansions. The integral formula is applied to the question of the transfer of a [italic small capital]Korbital integral to an endoscopic group. It is shown that the quadratic characters arising in the subregular germs are compatible with the transfer. Details of the transfer are given for the subregular germ of unitary groups
8 editions published between 1986 and 1992 in English and held by 244 WorldCat member libraries worldwide
An integral formula for the subregular germ of a [italic small capital]Korbital integral is developed. The formula holds for any reductive group over a [italic]padic field of characteristic zero. This expression of the subregular germ is obtained by applying Igusa's theory of asymptotic expansions. The integral formula is applied to the question of the transfer of a [italic small capital]Korbital integral to an endoscopic group. It is shown that the quadratic characters arising in the subregular germs are compatible with the transfer. Details of the transfer are given for the subregular germ of unitary groups
The subregular germ of orbital integrals by
Thomas Callister Hales(
Book
)
4 editions published in 1992 in English and held by 18 WorldCat member libraries worldwide
4 editions published in 1992 in English and held by 18 WorldCat member libraries worldwide
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 16 WorldCat member libraries worldwide
6 editions published in 1992 in English and held by 16 WorldCat member libraries worldwide
The Kepler conjecture the HalesFerguson proof ; including a special issue of Discrete & computational geometry(
Book
)
3 editions published in 2011 in English and held by 11 WorldCat member libraries worldwide
3 editions published in 2011 in English and held by 11 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
Jordan's Proof of the Jordan Curve Theorem by
Thomas Callister Hales(
)
1 edition published in 2007 in English and held by 1 WorldCat member library worldwide
1 edition published in 2007 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
Covers
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 Callister Hales matematico statunitense
Thomas Hales
Thomas Hales Amerikaans wiskundige
Thomas Hales matemàtic estatunidenc
Thomas Hales mathématicien américain
Thomas Hales Thomas Hales
Thomas Hales USamerikanischer Mathematiker und MellonProfessor für Mathematik an der University of Pittsburgh
توماس كوليستير هيلز
توماس كوليستير هيلز رياضياتي أمريكي
トーマス・C・ヘイルズ
托马斯·黑尔斯
Languages