Statements (20)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:Mathematician
|
| gptkbp:academic_advisor |
gptkb:H._B._Enderton
|
| gptkbp:alma_mater |
gptkb:University_of_Michigan
|
| gptkbp:award |
gptkb:Fulkerson_Prize
|
| gptkbp:birth_date |
1964-01-01
|
| gptkbp:birth_place |
gptkb:United_States
|
| gptkbp:field |
gptkb:Mathematics
|
| https://www.w3.org/2000/01/rdf-schema#label |
Thomas Edward Hales
|
| gptkbp:influenced_by |
gptkb:John_H._Conway
gptkb:Paul_Erdős |
| gptkbp:known_for |
proving the Kepler conjecture
formal proof of the Kepler conjecture |
| gptkbp:nationality |
gptkb:American
|
| gptkbp:occupation |
gptkb:Professor
|
| gptkbp:research_areas |
geometry
|
| gptkbp:title |
Theorem Proving in Higher Order Logic
|
| gptkbp:website |
http://www.math.pitt.edu/~hales/
|
| gptkbp:work |
gptkb:University_of_Pittsburgh
|
| gptkbp:bfsParent |
gptkb:Elder_Hales
|
| gptkbp:bfsLayer |
8
|