Sphere packings, VI. Tame graphs and linear programs

Discrete and Computational Geometry

Volumn 36, Issue 1, 2006, Pages 205-265

  Hales, Thomas C ^a  

^a UNIVERSITY OF PITTSBURGH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 33744723740     PISSN: 01795376     EISSN: 14320444     Source Type: Journal    
DOI: 10.1007/s00454-005-1215-x     Document Type: Article

References (4)

1. [Ha6] T. C. Hales, Sphere packings, I, Discrete Comput. Geom. 17 (1997), 1-51.
2. [Ha14] T. C. Hales, Some algorithms arising in the proof of the Kepler conjecture, in Discrete and Computational Geometry, Algorithms and Combinatorics, vol. 25, Springer-Verlag, Berlin, 2003, pp. 489-507.
3. [Ha15] T. C. Hales, A proof of the Kepler conjecture, Am. of Math. 162 (2005), 1065-1185.
4. [Ha16] T. C. Hales, Computer Resources for the Kepler Conjecture, http://annals.math.princeton.edu/keplerconjecture/. (The source code, inequalities, and other computer data relating to the solution are also found at http://xxx.lanl.gov/abs/math/9811078v1.)