Thomas C. Hales

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