Introduction to the Flyspeck Project

Dagstuhl Seminar Proceedings

Volumn 5021, Issue , 2006, Pages

  Hales, Thomas C ^a  

^a UNIVERSITY OF PITTSBURGH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CALCULATION; FORMALISATION; LONG-TERM PROJECTS; THREE DIMENSIONS;

EID: 85175306039     PISSN: 18624405     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (24)

1. I. Daubechies, Gibbs Lecture, “The interplay between analysis and algorithms”, January 5, 2005.
2. L. Fejes Tóth, Isoperimetric problems concerning tesselations, Acta Math. Acad. Sci. Hungar 14 1963 343-351.
3. L. Fejes Tóth, Lagerungen in der Ebene auf der Kugel und im Raum, Springer-Verlag, 1972.
4. B. Fuller, Synergetics, MacMillan, 1975. Online at http://www.rwgrayprojects.com/synergetics/toc/status.html
5. G. Gonthier, lecture “The four color theorem in COQ” TYPES conference, Campus Thalès, Dec 17, 2004.
6. Google Groups Flyspeck, http://groups-beta.google.com/group/flyspeck.
7. T. Hales, Sphere Packings, I, Discrete Comput Geometry 17:1-51 (1997).
8. T. Hales, A Proof of the Kepler Conjecture (Annals Version), http://www.math.pitt.edu/̴ thales/kepler03/fullkepler.pdf
9. T. Hales, A Proof of the Kepler Conjecture (DCG Version), http://www.math.pitt.edu/̴ thales/kepler04/fullkepler.pdf
10. T. Hales, Some algorithms arising in the proof of the Kepler conjecture, Discrete and computational geometry, 489-507, Algorithms Combin., 25, Springer, Berlin, 2003.
11. T. Hales, An Overview of the Kepler conjecture, math.MG/9811071.
12. T. Hales, Cannonballs and honeycombs. Notices Amer. Math. Soc. 47 (2000), no. 4, 440-449.
13. T. Hales, The Flyspeck Project Fact Sheet, http://www.math.pitt.edu/̴ thales/flyspeck/index.html
14. J. Harrison, HOL Light, Jan 2005 version, preliminary release, available at http://www.math.pitt.edu/thales/flyspeck/hol light 050124.tar.gz.
15. J. Lagarias, Bounds for Local Density of Sphere Packings and the Kepler Conjecture, Discrete Comput Geom 27:165-193 (2002).
16. J.-L. Lagrange, Oeuvres, Vol 7, Gauthier-Villars, Paris, 1857-1892.
17. L. H. Loomis and S. Sternberg, Advanced Calculus, Addison-Wesley, 1968.
18. S. McLaughlin and J. Harrison, A Proof Producing Decision Procedure for Real Arithmetic, preprint 2005.
19. O. R. Musin, The kissing problem in three dimensions, preprint 2004.
20. P. Ryan, Euclidean and Non-Euclidean Geometry, an analytic approach, Cambridge University Press, 1986.
21. K. Schütte and B. L. van der Waerden, Das Problem der dreizehn Kugeln, Math. Annalen 125 (1953), 325-334.
22. C. Thomassen, The Jordan-Schönflies Theorem and the Classification of Surfaces, Amer. Math Monthly, Feb 1992, 116-130.
23. A. Thue, Om nogle geometrisk taltheoretiske Theoremer, Forandlingerneved de Skandinaviske Naturforskeres 14 (1892), 352-353.
24. O. Veblen, Theory on Plane Curves in Non-Metrical Analysis Situs, Trans. of the AMS, Vol 6, No 1 (Jan 1905), 83-98.