WorldCat Identities

Hales, Thomas Callister

Overview
Works: 10 works in 35 publications in 2 languages and 845 library holdings
Roles: Creator
Classifications: QA166.7, 511.6
Publication Timeline
Key
Publications about  Thomas Callister Hales Publications about Thomas Callister Hales
Publications by  Thomas Callister Hales Publications by Thomas Callister Hales
Most widely held works by Thomas Callister Hales
The Kepler conjecture the Hales-Ferguson proof by Thomas Hales, Samuel Ferguson ( )
3 editions published in 2011 in English and held by 337 WorldCat member libraries worldwide
Dense sphere packings : a blueprint for formal proofs by Thomas Callister Hales ( Book )
13 editions published in 2012 in English and German and held by 250 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] of cover
The subregular germ of orbital integrals by Thomas Callister Hales ( Book )
12 editions published between 1986 and 1992 in English and held by 232 WorldCat member libraries worldwide
Introduction to the Flyspeck project ( )
1 edition published in 2006 in English and held by 16 WorldCat member libraries worldwide
The Kepler conjecture the Hales-Ferguson proof by Thomas Hales, Samuel Ferguson ; including a special issue of Discrete & computational geometry ( Book )
1 edition published in 2011 in English and held by 5 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
Introduction to the Flyspeck project ( )
1 edition published in 2006 in English and held by 1 WorldCat member library worldwide
The Kepler Conjecture : The Hales-Ferguson Proof by Jeffrey C Lagarias ( )
1 edition published in 2011 in English and held by 1 WorldCat member library worldwide
Dense sphere packings by Thomas Callister Hales ( Book )
1 edition published in 2012 in English and held by 0 WorldCat member libraries worldwide
 
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.77 (from 0.00 for Introducti ... to 0.92 for Unipotent ...)
Alternative Names
Hales, Thomas.
Hales, Thomas 1958-
Hales, Thomas C.
Hales, Thomas Callister 1958- Vollstaendiger Name
Languages
English (34)
German (1)