University of Pittsburgh[1] University of Michigan
Doctoral advisor
Robert Langlands
Doctoral students
Julia Gordon
Website
sites.google.com/site/thalespitt/
Thomas Callister Hales (born June 4, 1958) is an American mathematician working in the areas of representation theory, discrete geometry, and formal verification. In representation theory he is known for his work on the Langlands program and the proof of the fundamental lemma over the group Sp(4) (many of his ideas were incorporated into the final proof of the fundamental lemma, due to Ngô Bảo Châu). In discrete geometry, he settled the Kepler conjecture on the density of sphere packings and the honeycomb conjecture. In 2014, he announced the completion of the Flyspeck Project, which formally verified the correctness of his proof of the Kepler conjecture.
^Cite error: The named reference pitts was invoked but never defined (see the help page).
and 26 Related for: Thomas Callister Hales information
ThomasCallisterHales (born June 4, 1958) is an American mathematician working in the areas of representation theory, discrete geometry, and formal verification...
Look up Callister in Wiktionary, the free dictionary. Callister may refer to: Janette CallisterHales Beckham (1933–2022), general president of the Young...
Grossberg Ernst Guillemin Charles Claude Guthrie Nelson Hairston ThomasCallisterHales John D. Hamaker Debora Hammond Mary Styles Harris Edwin B. Hart...
Janette Hales Beckham, commonly known as Janette C. Hales and later, Janette Hales Beckham (née Callister; June 7, 1933 – March 4, 2022), was the tenth...
packing spheres hundreds of years before it was proven correct by ThomasCallisterHales. Many other shapes have received attention, including ellipsoids...
nor disproved from) the standard axioms of set theory. In 1998, ThomasCallisterHales proved the Kepler conjecture, also using a computer. Mathematical...
to a unit sphere. ThomasCallisterHales and Sean McLaughlin proved the conjecture in 1998, following the same strategy that led Hales to his proof of the...
Bailey Jonathan Borwein David Epstein Helaman Ferguson Ronald Graham ThomasCallisterHales Donald Knuth Clement Lam Oren Patashnik Simon Plouffe Eric Weisstein...
Dumitru, physiatrist and electromyographer; born in San Antonio ThomasCallisterHales, mathematician ; born in San Antonio Maria Hernandez Ferrier, former...
the work of others, proved Fermat's Last Theorem in 1995. In 1998 ThomasCallisterHales proved the Kepler conjecture. Differential geometry came into its...
biochemist February 26 – Susan J. Helms, American astronaut June 4 – ThomasCallisterHales, American mathematician July 14 – Anthony Atala, Peruvian-born American...
were written using the proof assistant Coq.) Flyspeck proof led by ThomasCallisterHales Personal Page at Microsoft Research Paper describing proof of the...
rocket program. Eric M. Rains and Neil Sloane extend tree counting. ThomasCallisterHales proves the honeycomb conjecture. First fossil of Kenyanthropus Pliocene...
injured. Luca Cardelli and Andrew D. Gordon develop ambient calculus. ThomasCallisterHales (almost certainly) proves the Kepler conjecture. September 11 –...
Duckworth–Lewis–Stern method is first applied in an international cricket match. ThomasCallisterHales verifies the proof of the fundamental lemma over the group Sp(4)...
demonstrated by Eric Cornell, Carl Wieman and Wolfgang Ketterle. 1998 – ThomasCallisterHales proves Kepler's conjecture. 2000 – The thermal conductance quantum...
"lifted" passages and images from mathematicians and writers such as ThomasCallisterHales, William Dunham, Barry Arthur Cipra, and Simon Singh In another...
Horatio Magellan Crunch, the mascot of Cap'n Crunch cereal Horatio Peter McCallister, a fictional character from the animated sitcom The Simpsons Horatio the...
cowboy/musical review Western Thunder in the Valley Louis King Lon McCallister, Peggy Ann Garner, Edmund Gwenn United States family Western Thunder Mountain...