Thomas C. Hales

Affiliations: 
University of Michigan, Ann Arbor, Ann Arbor, MI 
Area:
Mathematics
Google:
"Thomas Hales"
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Hales TC. (2015) Developments in formal proofs Asterisque. 367: 387-410
Solovyev A, Hales TC. (2013) Formal verification of nonlinear inequalities with Taylor interval approximations Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7871: 383-397
Solovyev A, Hales TC. (2011) Efficient formal verification of bounds of linear programs Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6824: 123-132
Hales TC, Mclaughlin S. (2010) The dodecahedral conjecture Journal of the American Mathematical Society. 23: 299-344
Hales TC, Harrison J, McLaughlin S, et al. (2010) A revision of the proof of the Kepler conjecture Discrete and Computational Geometry. 44: 1-34
Hales TC. (2010) Linear programs for the Kepler conjecture (extended abstract) Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6327: 149-151
Hales TC. (2010) Computational discrete geometry Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6327: 1-3
Hales TC. (2007) Some methods of problem solving in elementary geometry Proceedings - Symposium On Logic in Computer Science. 35-40
Hales TC. (2007) The Jordan curve theorem, formally and informally American Mathematical Monthly. 114: 882-894
Hales TC. (2007) Equidecomposable quadratic regions Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4869: 24-38
See more...