The SCEAS System
| |||||||

## Search the dblp DataBase
Thomas C. Hales:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- Thomas C. Hales
**Sphere packings and generative.**[Citation Graph (0, 0)][DBLP] Symposium on Computational Geometry, 2001, pp:69- [Conf] - Thomas C. Hales
**Introduction to the Flyspeck Project.**[Citation Graph (0, 0)][DBLP] Mathematics, Algorithms, Proofs, 2005, pp:- [Conf] - Thomas C. Hales
**Formalizing the Proof of the Kepler Conjecture.**[Citation Graph (0, 0)][DBLP] TPHOLs, 2004, pp:117- [Conf] - Thomas C. Hales
**Remarks on the density of sphere packings in three dimensions.**[Citation Graph (0, 0)][DBLP] Combinatorica, 1993, v:13, n:2, pp:181-197 [Journal] - Thomas C. Hales
**The Honeycomb Conjecture.**[Citation Graph (0, 0)][DBLP] Discrete & Computational Geometry, 2001, v:25, n:1, pp:1-22 [Journal] - Thomas C. Hales
**Historical Overview of the Kepler Conjecture.**[Citation Graph (0, 0)][DBLP] Discrete & Computational Geometry, 2006, v:36, n:1, pp:5-20 [Journal] - Thomas C. Hales
**Sphere Packing, III. Extremal Cases.**[Citation Graph (0, 0)][DBLP] Discrete & Computational Geometry, 2006, v:36, n:1, pp:71-110 [Journal] - Thomas C. Hales
**Sphere Packing, IV. Detailed Bounds.**[Citation Graph (0, 0)][DBLP] Discrete & Computational Geometry, 2006, v:36, n:1, pp:111-166 [Journal] - Thomas C. Hales
**Sphere Packings, VI. Tame Graphs and Linear Programs.**[Citation Graph (0, 0)][DBLP] Discrete & Computational Geometry, 2006, v:36, n:1, pp:205-265 [Journal] - Thomas C. Hales
**Sphere Packings, II.**[Citation Graph (0, 0)][DBLP] Discrete & Computational Geometry, 1997, v:18, n:2, pp:135-149 [Journal] - Thomas C. Hales
**Sphere Packings, I.**[Citation Graph (0, 0)][DBLP] Discrete & Computational Geometry, 1997, v:17, n:1, pp:1-51 [Journal] - Thomas C. Hales, Samuel P. Ferguson
**A Formulation of the Kepler Conjecture.**[Citation Graph (0, 0)][DBLP] Discrete & Computational Geometry, 2006, v:36, n:1, pp:21-69 [Journal] - Thomas C. Hales
**Some Methods of Problem Solving in Elementary Geometry.**[Citation Graph (0, 0)][DBLP] LICS, 2007, pp:35-40 [Conf] **Equidecomposable Quadratic Regions.**[Citation Graph (, )][DBLP]**Linear Programs for the Kepler Conjecture - (Extended Abstract).**[Citation Graph (, )][DBLP]**Computational Discrete Geometry.**[Citation Graph (, )][DBLP]**A Revision of the Proof of the Kepler Conjecture.**[Citation Graph (, )][DBLP]
Search in 0.003secs, Finished in 0.004secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |