Geoff Sutcliffe
Scholar

Geoff Sutcliffe

Google Scholar ID: lzMFBvQAAAAJ
Department of Computer Science, University of Miami
Automated Theorem Proving
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
6,071
 
H-index
38
 
i10-index
104
 
Publications
20
 
Co-authors
84
list available
Contact
No contact links provided.
Publications
2 items
TPTP World Infrastructure for Non-classical Logics
2025
Cited
0
The Dependently Typed Higher-Order Form for the TPTP World
2025
Cited
0
Resume (English only)
Co-authors
84 total
Stephan Schulz
Stephan Schulz
Professor of Computer Science, DHBW Stuttgart
Josef Urban
Josef Urban
Distinguished Researcher at Czech Technical University in Prague
Christoph Benzmüller
Christoph Benzmüller
Professor for AI Systems Engineering, University of Bamberg
Co-author 4
Co-author 4
Co-author 5
Co-author 5
Co-author 6
Co-author 6
Alexander Steen
Alexander Steen
University of Greifswald
Florian Rabe
Florian Rabe
University Erlangen-Nuremberg