← back to search
Steven Obua
University of Edinburgh
· GB
🔎 Find collaborators in Artificial Intelligence · Computational Theory and Mathematics →
Search 5.9M scientists by topic, h-index, country & funding — free.
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
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)
John Harrison
· University of Connecticut
1
papers (2017–2017)
—
·
1
papers (2017–2017)
Sean McLaughlin
· Seattle University
1
papers (2017–2017)
—
·
1
papers (2017–2017)
—
·
1
papers (2017–2017)
—
·
1
papers (2017–2017)
Looking for a research collaborator?
Search millions of scientists by field, institution, impact, and funding status — see their work, find their email, and reach out directly.
Find collaborators in Artificial Intelligence · Computational Theory and Mathematics →