WorldCat Identities

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

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 400-year-old Kepler conjecture asserts that no packing of congruent balls in three dimensions can have a density exceeding the familiar pyramid-shaped 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 large-scale 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 Hales-Ferguson 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 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
Introduction to the Flyspeck project( )

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

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

The Kepler conjecture( Book )

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

 
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.63 (from 0.49 for The Kepler ... to 0.91 for Introducti ...)

Basiswissen palliativmedizin
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 US-amerikanischer Mathematiker und Mellon-Professor für Mathematik an der University of Pittsburgh

توماس كوليستير هيلز

トーマス・C・ヘイルズ

托马斯·黑尔斯

Languages
English (43)

German (2)

Covers