Thomas C. Hales

	2011
18		Alexey Solovyev, Thomas C. Hales: Efficient Formal Verification of Bounds of Linear Programs. Calculemus/MKM 2011: 123-132
	2010
17		Thomas C. Hales: Computational Discrete Geometry. ICMS 2010: 1-3
16		Thomas C. Hales: Linear Programs for the Kepler Conjecture - (Extended Abstract). ICMS 2010: 149-151
15		Thomas C. Hales, John Harrison, Sean McLaughlin, Tobias Nipkow, Steven Obua, Roland Zumkeller: A Revision of the Proof of the Kepler Conjecture. Discrete & Computational Geometry 44(1): 1-34 (2010)
	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]
2	John Harrison	[15]
3	Sean McLaughlin	[15]
4	Tobias Nipkow	[15]
5	Steven Obua	[15]
6	Alexey Solovyev	[18]
7	Roland Zumkeller	[15]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page