×
Author ID: sutcliffe.geoff Recent zbMATH articles by "Sutcliffe, Geoff"
Published as: Sutcliffe, Geoff; Sutcliffe, G.

Publications by Year

Citations contained in zbMATH Open

47 Publications have been cited 575 times in 344 Documents Cited by Year
The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0. Zbl 1185.68636
Sutcliffe, Geoff
108
2009
The TPTP problem library. CNF release v1. 2. 1. Zbl 0910.68197
Sutcliffe, Geoff; Suttner, Christian
69
1998
The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0. Zbl 1425.68381
Sutcliffe, Geoff
45
2017
ATP and presentation service for Mizar formalizations. Zbl 1260.68380
Urban, Josef; Rudnicki, Piotr; Sutcliffe, Geoff
34
2013
MaLARea SG1 – machine learner for automated reasoning with semantic guidance. Zbl 1165.68434
Urban, Josef; Sutcliffe, Geoff; Pudlák, Petr; Vyskočil, Jiří
29
2008
The TPTP problem library. Zbl 1433.68569
Sutcliffe, Geoff; Suttner, Christian; Yemenis, Theodor
27
1994
Automated reasoning in higher-order logic using the TPTP THF infrastructure. Zbl 1211.68371
Sutcliffe, Geoff; Benzmüller, Christoph
27
2010
The state of CASC. Zbl 1112.68464
Sutcliffe, Geoff; Suttner, Christian
17
2006
The TPTP typed first-order form with arithmetic. Zbl 1352.68217
Sutcliffe, Geoff; Schulz, Stephan; Claessen, Koen; Baumgartner, Peter
15
2012
The TPTP World – infrastructure for automated reasoning. Zbl 1253.68292
Sutcliffe, Geoff
14
2010
Evaluating general purpose automated theorem proving systems. Zbl 0996.68182
Sutcliffe, Geoff; Suttner, Christian
13
2001
The CADE-14 ATP system competition. Zbl 0916.68141
Suttner, Christian; Sutcliffe, Geoff
13
1998
SRASS – a semantic relevance axiom selection system. Zbl 1213.68575
Sutcliffe, Geoff; Puzis, Yury
13
2007
Using the TPTP language for writing derivations and finite interpretations. Zbl 1222.68373
Sutcliffe, Geoff; Schulz, Stephan; Claessen, Koen; Van Gelder, Allen
12
2006
The development of CASC. Zbl 1019.68101
Pelletier, Francis Jeffry; Sutcliffe, Geoff; Suttner, Christian
10
2002
The CADE-27 automated theorem proving system competition – CASC-27. Zbl 1464.68433
Sutcliffe, Geoff
10
2019
The CADE-16 ATP system competition. Zbl 0953.68595
Sutcliffe, Geoff
10
2000
THF0 – the core of the TPTP language for higher-order logic. Zbl 1165.68447
Benzmüller, Christoph; Rabe, Florian; Sutcliffe, Geoff
8
2008
The CADE ATP system competition. Zbl 1126.68580
Sutcliffe, Geoff; Suttner, Christian
8
2004
ATP-based cross-verification of Mizar proofs: method, systems, and first experiments. Zbl 1178.68532
Urban, Josef; Sutcliffe, Geoff
8
2008
System description: SystemOnTPTP. Zbl 0963.68529
Sutcliffe, Geoff
7
2000
The 8th IJCAR automated theorem proving system competition – CASC-J8. Zbl 1373.68367
Sutcliffe, Geoff
7
2016
GRUNGE: a grand unified ATP challenge. Zbl 07178973
Brown, Chad E.; Gauthier, Thibault; Kaliszyk, Cezary; Sutcliffe, Geoff; Urban, Josef
6
2019
Extending the TPTP language to higher-order logic with automated parser generation. Zbl 1222.68375
Van Gelder, Allen; Sutcliffe, Geoff
6
2006
The CADE-22 automated theorem proving system competition – CASC-22. Zbl 1200.68220
Sutcliffe, Geoff
6
2010
The CADE-21 automated theorem proving system competition. Zbl 1147.68699
Sutcliffe, Geoff
5
2008
Progress in the development of automated theorem proving for higher-order logic. Zbl 1250.68236
Sutcliffe, Geoff; Benzmüller, Christoph; Brown, Chad E.; Theiss, Frank
5
2009
Automated reasoning and presentation support for formalizing mathematics in MizAR. Zbl 1286.68403
Urban, Josef; Sutcliffe, Geoff
5
2010
The 9th IJCAR automated theorem proving system competition – CASC-J9. Zbl 1462.68220
Sutcliffe, Geoff
5
2018
An interactive derivation viewer. Zbl 1278.68282
Trac, Steven; Puzis, Yury; Sutcliffe, Geoff
4
2007
The IJCAR ATP system competition. Zbl 1003.68718
Sutcliffe, G.; Suttner, C. B.; Pelletier, F. J.
4
2002
Automated verification of refinement laws. Zbl 1184.68463
Höfner, Peter; Struth, Georg; Sutcliffe, Geoff
4
2009
Detecting inconsistencies in large first-order knowledge bases. Zbl 1494.68262
Schulz, Stephan; Sutcliffe, Geoff; Urban, Josef; Pease, Adam
3
2017
The 10th IJCAR automated theorem proving system competition – CASC-J10. Zbl 1485.68287
Sutcliffe, Geoff
3
2021
TPTP, TSTP, CASC, etc. Zbl 1188.68265
Sutcliffe, Geoff
2
2007
Large theory reasoning with SUMO at CASC. Zbl 1344.68229
Pease, Adam; Sutcliffe, Geoff; Siegel, Nick; Trac, Steven
2
2010
An erratum for some errata to ATP problems. Zbl 0868.68099
Pelletier, Francis Jeffry; Sutcliffe, Geoff
1
1997
The design of the CADE-13 ATP system competition. Zbl 1412.68263
Suttner, Christian B.; Sutcliffe, Geoff
1
1996
ATP cross-verification of the Mizar MPTP challenge problems. Zbl 1137.68576
Urban, Josef; Sutcliffe, Geoff
1
2007
System description: GrAnDe 1.0. Zbl 1072.68590
Schulz, Stephan; Sutcliffe, Geoff
1
2002
The 7th IJCAR automated theorem proving system competition – CASC-J7. Zbl 1373.68366
Sutcliffe, Geoff
1
2015
The CADE-26 automated theorem proving system competition – CASC-26. Zbl 1462.68219
Sutcliffe, Geoff
1
2017
Larry Wos: visions of automated reasoning. Zbl 1511.68005
Beeson, Michael; Bonacina, Maria Paola; Kinyon, Michael; Sutcliffe, Geoff
1
2022
Proof generation for saturating first-order theorem provers. Zbl 1431.68124
Schulz, Stephan; Sutcliffe, Geoff
1
2015
Solving the $100 modal logic challenge. Zbl 1161.03302
Rabe, Florian; Pudlák, Petr; Sutcliffe, Geoff; Shen, Weina
1
2009
The CADE-25 automated theorem proving system competition – CASC-25. Zbl 1373.68368
Sutcliffe, Geoff; Urban, Josef
1
2016
The CADE-28 automated theorem proving system competition – CASC-28. Zbl 1487.68249
Sutcliffe, Geoff; Desharnais, Martin
1
2021
Larry Wos: visions of automated reasoning. Zbl 1511.68005
Beeson, Michael; Bonacina, Maria Paola; Kinyon, Michael; Sutcliffe, Geoff
1
2022
The 10th IJCAR automated theorem proving system competition – CASC-J10. Zbl 1485.68287
Sutcliffe, Geoff
3
2021
The CADE-28 automated theorem proving system competition – CASC-28. Zbl 1487.68249
Sutcliffe, Geoff; Desharnais, Martin
1
2021
The CADE-27 automated theorem proving system competition – CASC-27. Zbl 1464.68433
Sutcliffe, Geoff
10
2019
GRUNGE: a grand unified ATP challenge. Zbl 07178973
Brown, Chad E.; Gauthier, Thibault; Kaliszyk, Cezary; Sutcliffe, Geoff; Urban, Josef
6
2019
The 9th IJCAR automated theorem proving system competition – CASC-J9. Zbl 1462.68220
Sutcliffe, Geoff
5
2018
The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0. Zbl 1425.68381
Sutcliffe, Geoff
45
2017
Detecting inconsistencies in large first-order knowledge bases. Zbl 1494.68262
Schulz, Stephan; Sutcliffe, Geoff; Urban, Josef; Pease, Adam
3
2017
The CADE-26 automated theorem proving system competition – CASC-26. Zbl 1462.68219
Sutcliffe, Geoff
1
2017
The 8th IJCAR automated theorem proving system competition – CASC-J8. Zbl 1373.68367
Sutcliffe, Geoff
7
2016
The CADE-25 automated theorem proving system competition – CASC-25. Zbl 1373.68368
Sutcliffe, Geoff; Urban, Josef
1
2016
The 7th IJCAR automated theorem proving system competition – CASC-J7. Zbl 1373.68366
Sutcliffe, Geoff
1
2015
Proof generation for saturating first-order theorem provers. Zbl 1431.68124
Schulz, Stephan; Sutcliffe, Geoff
1
2015
ATP and presentation service for Mizar formalizations. Zbl 1260.68380
Urban, Josef; Rudnicki, Piotr; Sutcliffe, Geoff
34
2013
The TPTP typed first-order form with arithmetic. Zbl 1352.68217
Sutcliffe, Geoff; Schulz, Stephan; Claessen, Koen; Baumgartner, Peter
15
2012
Automated reasoning in higher-order logic using the TPTP THF infrastructure. Zbl 1211.68371
Sutcliffe, Geoff; Benzmüller, Christoph
27
2010
The TPTP World – infrastructure for automated reasoning. Zbl 1253.68292
Sutcliffe, Geoff
14
2010
The CADE-22 automated theorem proving system competition – CASC-22. Zbl 1200.68220
Sutcliffe, Geoff
6
2010
Automated reasoning and presentation support for formalizing mathematics in MizAR. Zbl 1286.68403
Urban, Josef; Sutcliffe, Geoff
5
2010
Large theory reasoning with SUMO at CASC. Zbl 1344.68229
Pease, Adam; Sutcliffe, Geoff; Siegel, Nick; Trac, Steven
2
2010
The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0. Zbl 1185.68636
Sutcliffe, Geoff
108
2009
Progress in the development of automated theorem proving for higher-order logic. Zbl 1250.68236
Sutcliffe, Geoff; Benzmüller, Christoph; Brown, Chad E.; Theiss, Frank
5
2009
Automated verification of refinement laws. Zbl 1184.68463
Höfner, Peter; Struth, Georg; Sutcliffe, Geoff
4
2009
Solving the $100 modal logic challenge. Zbl 1161.03302
Rabe, Florian; Pudlák, Petr; Sutcliffe, Geoff; Shen, Weina
1
2009
MaLARea SG1 – machine learner for automated reasoning with semantic guidance. Zbl 1165.68434
Urban, Josef; Sutcliffe, Geoff; Pudlák, Petr; Vyskočil, Jiří
29
2008
THF0 – the core of the TPTP language for higher-order logic. Zbl 1165.68447
Benzmüller, Christoph; Rabe, Florian; Sutcliffe, Geoff
8
2008
ATP-based cross-verification of Mizar proofs: method, systems, and first experiments. Zbl 1178.68532
Urban, Josef; Sutcliffe, Geoff
8
2008
The CADE-21 automated theorem proving system competition. Zbl 1147.68699
Sutcliffe, Geoff
5
2008
SRASS – a semantic relevance axiom selection system. Zbl 1213.68575
Sutcliffe, Geoff; Puzis, Yury
13
2007
An interactive derivation viewer. Zbl 1278.68282
Trac, Steven; Puzis, Yury; Sutcliffe, Geoff
4
2007
TPTP, TSTP, CASC, etc. Zbl 1188.68265
Sutcliffe, Geoff
2
2007
ATP cross-verification of the Mizar MPTP challenge problems. Zbl 1137.68576
Urban, Josef; Sutcliffe, Geoff
1
2007
The state of CASC. Zbl 1112.68464
Sutcliffe, Geoff; Suttner, Christian
17
2006
Using the TPTP language for writing derivations and finite interpretations. Zbl 1222.68373
Sutcliffe, Geoff; Schulz, Stephan; Claessen, Koen; Van Gelder, Allen
12
2006
Extending the TPTP language to higher-order logic with automated parser generation. Zbl 1222.68375
Van Gelder, Allen; Sutcliffe, Geoff
6
2006
The CADE ATP system competition. Zbl 1126.68580
Sutcliffe, Geoff; Suttner, Christian
8
2004
The development of CASC. Zbl 1019.68101
Pelletier, Francis Jeffry; Sutcliffe, Geoff; Suttner, Christian
10
2002
The IJCAR ATP system competition. Zbl 1003.68718
Sutcliffe, G.; Suttner, C. B.; Pelletier, F. J.
4
2002
System description: GrAnDe 1.0. Zbl 1072.68590
Schulz, Stephan; Sutcliffe, Geoff
1
2002
Evaluating general purpose automated theorem proving systems. Zbl 0996.68182
Sutcliffe, Geoff; Suttner, Christian
13
2001
The CADE-16 ATP system competition. Zbl 0953.68595
Sutcliffe, Geoff
10
2000
System description: SystemOnTPTP. Zbl 0963.68529
Sutcliffe, Geoff
7
2000
The TPTP problem library. CNF release v1. 2. 1. Zbl 0910.68197
Sutcliffe, Geoff; Suttner, Christian
69
1998
The CADE-14 ATP system competition. Zbl 0916.68141
Suttner, Christian; Sutcliffe, Geoff
13
1998
An erratum for some errata to ATP problems. Zbl 0868.68099
Pelletier, Francis Jeffry; Sutcliffe, Geoff
1
1997
The design of the CADE-13 ATP system competition. Zbl 1412.68263
Suttner, Christian B.; Sutcliffe, Geoff
1
1996
The TPTP problem library. Zbl 1433.68569
Sutcliffe, Geoff; Suttner, Christian; Yemenis, Theodor
27
1994
all top 5

Cited by 426 Authors

36 Urban, Josef
21 Benzmüller, Christoph Ewald
20 Kaliszyk, Cezary
19 Sutcliffe, Geoff
17 Blanchette, Jasmin Christian
11 Reger, Giles
11 Voronkov, Andrei
10 Baumgartner, Peter
10 Brown, Chad Edward
10 Grabowski, Adam
10 Paulson, Lawrence Charles
10 Vukmirović, Petar
9 Tourret, Sophie
9 Weidenbach, Christoph
8 Bentkamp, Alexander
7 Rabe, Florian
7 Suda, Martin
6 Böhme, Sascha
6 Furbach, Ulrich
6 Jakubův, Jan
6 Korovin, Konstantin
6 Kovács, Laura Ildikó
6 Otten, Jens
6 Schulz, Stephan
6 Tinelli, Cesare
6 Vyskočil, Jiří
6 Winkler, Sarah
5 Barrett, Clark W.
5 Hetzl, Stefan
5 Höfner, Peter
5 Janičić, Predrag
5 Kühlwein, Daniel
5 Naumowicz, Adam
5 Steen, Alexander
4 Bonacina, Maria Paola
4 Claessen, Koen
4 Cruanes, Simon
4 Delahaye, David
4 Gauthier, Thibault
4 Korniłowicz, Artur
4 Lillieström, Ann
4 Narboux, Julien
4 Nummelin, Visa
4 Olšák, Miroslav
4 Pąk, Karol
4 Reis, Giselle
4 Waldmann, Uwe
4 Woltzenlogel Paleo, Bruno
4 Xu, Yang
3 Alama, Jesse
3 Bancerek, Grzegorz
3 Bhayat, Ahmed
3 Chvalovský, Karel
3 Dang, Han-Hing
3 de Nivelle, Hans
3 Duarte, André
3 Ebner, Gabriel
3 Färber, Michael
3 Fontaine, Pascal
3 Fuchs, Matthias
3 He, Xingxing
3 Heskes, Tom M.
3 Hoder, Kryštof
3 Leitsch, Alexander
3 Letz, Reinhold
3 Liu, Jun
3 Meng, Jia
3 Möller, Bernhard
3 Nipkow, Tobias
3 Pease, Adam
3 Peltier, Nicolas
3 Pelzer, Björn
3 Rawson, Michael
3 Reynolds, Andrew
3 Struth, Georg
3 Stump, Aaron
3 Suttner, Christian B.
3 Theiss, Frank
3 Weller, Daniel S.
3 Wisniewski, Max
3 Zombori, Zsolt
2 Anai, Hirokazu
2 Arai, Noriko H.
2 Autexier, Serge
2 Backes, Julian
2 Barbosa, Haniel
2 Bezem, Marc
2 Bibel, Wolfgang
2 Burel, Guillaume
2 Bury, Guillaume
2 Byliński, Czesław
2 Chen, Shuwei
2 Coghetto, Roland
2 Cristiá, Maximiliano
2 de Moura, Leonardo
2 Défourneaux, Gilles
2 Denzinger, Jörg
2 Egly, Uwe
2 Fietzke, Arnaud
2 Fleury, Mathias
...and 326 more Authors

Citations by Year