← back to search
John Harrison
University of Connecticut
· US
Area of research
Artificial Intelligence · Computational Theory and Mathematics
Research interest
Research interests include Formal proof, Kepler, HOL, Conjecture, and Proof assistant.
h-index
—
citations
336
works
1
NIH funding
—
primary concept
—
email
✉ Find email ↗
Recent publications
A FORMAL PROOF OF THE KEPLER CONJECTURE
Forum of Mathematics Pi
2017
cited by
336
position: middle
doi
Grants
No grants ingested yet.
Frequent collaborators
—
·
1
papers (2017–2017)
Sean McLaughlin
· Seattle University
1
papers (2017–2017)
—
·
1
papers (2017–2017)
—
·
1
papers (2017–2017)
—
·
1
papers (2017–2017)
Steven Obua
· University of Edinburgh
1
papers (2017–2017)
Jason Rute
· Pennsylvania State University
1
papers (2017–2017)
Tobias Nipkow
· Technical University of Munich
1
papers (2017–2017)
—
·
1
papers (2017–2017)
—
·
1
papers (2017–2017)
Cezary Kaliszyk
· University of Vienna
1
papers (2017–2017)
—
·
1
papers (2017–2017)
—
·
1
papers (2017–2017)
—
·
1
papers (2017–2017)
QUANG TRUONG NGUYEN
· University of Pittsburgh
1
papers (2017–2017)
—
·
1
papers (2017–2017)
—
·
1
papers (2017–2017)
Alexey Solovyev
· A.P. Krylov All-Russian Oil and Gas Research Institute (Russia)
1
papers (2017–2017)
—
·
1
papers (2017–2017)
Thomas Hales
· University of Pittsburgh
1
papers (2017–2017)