Scholar
Geoff Sutcliffe
Google Scholar ID: lzMFBvQAAAAJ
Department of Computer Science, University of Miami
Automated Theorem Proving
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
6,071
H-index
38
i10-index
104
Publications
20
Co-authors
84
list available
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
Co-authors
13 total
Stephan Schulz
Professor of Computer Science, DHBW Stuttgart
Josef Urban
Distinguished Researcher at Czech Technical University in Prague
Christoph Benzmüller
Professor for AI Systems Engineering, University of Bamberg
Alexander Steen
University of Greifswald
Florian Rabe
University Erlangen-Nuremberg
Simon Colton
Prof. Computational Creativity at Queen Mary University of London, UK & Monash University, Australia
Cesare Tinelli
Professor of Computer Science, The University of Iowa
Martin Suda
Czech Technical University in Prague
