Thomas C. Hales

	2007
14		Thomas C. Hales: Some Methods of Problem Solving in Elementary Geometry. LICS 2007: 35-40
	2006
13		Thomas C. Hales: Equidecomposable Quadratic Regions. Automated Deduction in Geometry 2006: 24-38
12		Thomas C. Hales: Sphere Packing, IV. Detailed Bounds. Discrete & Computational Geometry 36(1): 111-166 (2006)
11		Thomas C. Hales: Sphere Packings, VI. Tame Graphs and Linear Programs. Discrete & Computational Geometry 36(1): 205-265 (2006)
10		Thomas C. Hales, Samuel P. Ferguson: A Formulation of the Kepler Conjecture. Discrete & Computational Geometry 36(1): 21-69 (2006)
9		Thomas C. Hales: Historical Overview of the Kepler Conjecture. Discrete & Computational Geometry 36(1): 5-20 (2006)
8		Thomas C. Hales: Sphere Packing, III. Extremal Cases. Discrete & Computational Geometry 36(1): 71-110 (2006)
	2005
7		Thomas C. Hales: Introduction to the Flyspeck Project. Mathematics, Algorithms, Proofs 2005
	2004
6		Thomas C. Hales: Formalizing the Proof of the Kepler Conjecture. TPHOLs 2004: 117
	2001
5		Thomas C. Hales: Sphere packings and generative. Symposium on Computational Geometry 2001: 69
4		Thomas C. Hales: The Honeycomb Conjecture. Discrete & Computational Geometry 25(1): 1-22 (2001)
	1997
3		Thomas C. Hales: Sphere Packings, I. Discrete & Computational Geometry 17(1): 1-51 (1997)
2		Thomas C. Hales: Sphere Packings, II. Discrete & Computational Geometry 18(2): 135-149 (1997)
	1993
1		Thomas C. Hales: Remarks on the density of sphere packings in three dimensions. Combinatorica 13(2): 181-197 (1993)

Coauthor Index

1

Samuel P. Ferguson

[10]