Thomas C. Hales

Available identifiers

zbMath Open hales.thomas-cWikidataQ1398901 ScholiaQ1398901MaRDI QIDQ684404

List of research outcomes

Publication	Date of Publication	Type
Formal Proof of the Group Law for Edwards Elliptic Curves	2022-11-09	Paper
Reminiscences by a Student of Langlands	2021-12-16	Paper
The spherical Hecke algebra, partition functions, and motivic integration	2019-05-03	Paper
The Reinhardt Conjecture as an Optimal Control Problem	2017-03-03	Paper
Developments in Formal Proofs	2017-03-02	Paper
The Group Law for Edwards Curves	2016-10-17	Paper
The NSA Back Door to NIST	2016-06-15	Paper
Endoscopic transfer of orbital integrals in large residual characteristic	2016-04-15	Paper
Packings of Regular Pentagons in the Plane	2016-02-23	Paper
The Strong Dodecahedral Conjecture and Fejes Tóth’s Conjecture on Sphere Packings with Kissing Number Twelve	2013-09-13	Paper
https://portal.mardi4nfdi.de/entity/Q4913079	2013-04-03	Paper
A Proof of Fejes Toth's Conjecture on Sphere Packings with Kissing Number Twelve	2012-09-26	Paper
https://portal.mardi4nfdi.de/entity/Q2892718	2012-06-22	Paper
On the Reinhardt conjecture	2012-03-29	Paper
Efficient Formal Verification of Bounds of Linear Programs	2011-07-29	Paper
The Work of Ngo Bao Chau	2011-05-31	Paper
The fundamental lemma and the Hitchin fibration [after Ngo Bao Chau]	2011-03-21	Paper
Computational Discrete Geometry	2010-09-14	Paper
Linear Programs for the Kepler Conjecture	2010-09-14	Paper
https://portal.mardi4nfdi.de/entity/Q5747965	2010-09-14	Paper
The dodecahedral conjecture	2010-08-27	Paper
Historical overview of the Kepler conjecture	2009-10-14	Paper
A formulation of the Kepler conjecture	2009-10-14	Paper
Sphere packings. III: Extremal cases	2009-10-14	Paper
Sphere packings. IV: Detailed bounds	2009-10-14	Paper
Sphere packings. VI: Tame graphs and linear programs	2009-10-14	Paper
https://portal.mardi4nfdi.de/entity/Q5302558	2009-01-07	Paper
Equidecomposable Quadratic Regions	2008-04-01	Paper
The Jordan Curve Theorem, Formally and Informally	2008-03-20	Paper
Transfer Principle for the Fundamental Lemma	2007-12-05	Paper
https://portal.mardi4nfdi.de/entity/Q3409183	2006-11-08	Paper
A proof of the Kepler conjecture	2006-06-19	Paper
https://portal.mardi4nfdi.de/entity/Q5692712	2005-09-28	Paper
Theorem Proving in Higher Order Logics	2005-08-18	Paper
What is motivic measure?	2005-03-31	Paper
https://portal.mardi4nfdi.de/entity/Q4662300	2005-03-30	Paper
Orbital integrals are motivic	2005-03-01	Paper
https://portal.mardi4nfdi.de/entity/Q4826818	2004-11-12	Paper
https://portal.mardi4nfdi.de/entity/Q4814392	2004-09-07	Paper
https://portal.mardi4nfdi.de/entity/Q4709880	2003-06-19	Paper
https://portal.mardi4nfdi.de/entity/Q4549245	2003-06-10	Paper
The Honeycomb Problem on the Sphere	2002-11-15	Paper
Sphere Packings in 3 Dimensions	2002-05-19	Paper
https://portal.mardi4nfdi.de/entity/Q2756729	2001-11-18	Paper
The honeycomb conjecture	2001-01-25	Paper
Sphere packings. II	1998-03-16	Paper
Sphere packings. I	1998-03-16	Paper
The twisted endoscopy of \(GL(4)\) and \(GL(5)\): Transfer of Shalika germs	1997-01-13	Paper
The fundamental lemma for $Sp(4)$	1997-01-09	Paper
https://portal.mardi4nfdi.de/entity/Q4317819	1996-03-18	Paper
On the Fundamental Lemma for Standard Endoscopy: Reduction to Unit Elements	1996-02-04	Paper
Unipotent Representations and Unipotent Classes SL(N)	1995-04-18	Paper
The status of the Kepler conjecture	1995-03-08	Paper
https://portal.mardi4nfdi.de/entity/Q3139071	1995-01-23	Paper
Remarks on the density of sphere packings in three dimensions	1993-09-15	Paper
The sphere packing problem	1993-05-16	Paper
The subregular germ of orbital integrals	1993-01-16	Paper
https://portal.mardi4nfdi.de/entity/Q4015221	1992-12-16	Paper
https://portal.mardi4nfdi.de/entity/Q3475501	1989-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Thomas C. Hales