×

zbMATH — the first resource for mathematics

Sutcliffe, Geoff

Compute Distance To:
Author ID: sutcliffe.geoff Recent zbMATH articles by "Sutcliffe, Geoff"
Published as: Sutcliffe, G.; Sutcliffe, Geoff
Documents Indexed: 51 Publications since 1985, including 5 Books

Publications by Year

Citations contained in zbMATH

34 Publications have been cited 342 times in 211 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
79
2009
The TPTP problem library. CNF release v1. 2. 1. Zbl 0910.68197
Sutcliffe, Geoff; Suttner, Christian
62
1998
ATP and presentation service for Mizar formalizations. Zbl 1260.68380
Urban, Josef; Rudnicki, Piotr; Sutcliffe, Geoff
21
2013
Automated reasoning in higher-order logic using the TPTP THF infrastructure. Zbl 1211.68371
Sutcliffe, Geoff; Benzmüller, Christoph
20
2010
MaLARea SG1 – machine learner for automated reasoning with semantic guidance. Zbl 1165.68434
Urban, Josef; Sutcliffe, Geoff; Pudlák, Petr; Vyskočil, Jiří
17
2008
The state of CASC. Zbl 1112.68464
Sutcliffe, Geoff; Suttner, Christian
14
2006
The TPTP typed first-order form with arithmetic. Zbl 1352.68217
Sutcliffe, Geoff; Schulz, Stephan; Claessen, Koen; Baumgartner, Peter
11
2012
The TPTP World – infrastructure for automated reasoning. Zbl 1253.68292
Sutcliffe, Geoff
9
2010
SRASS – a semantic relevance axiom selection system. Zbl 1213.68575
Sutcliffe, Geoff; Puzis, Yury
9
2007
ATP-based cross-verification of Mizar proofs: method, systems, and first experiments. Zbl 1178.68532
Urban, Josef; Sutcliffe, Geoff
8
2008
Using the TPTP language for writing derivations and finite interpretations. Zbl 1222.68373
Sutcliffe, Geoff; Schulz, Stephan; Claessen, Koen; Van Gelder, Allen
8
2006
The CADE ATP system competition. Zbl 1126.68580
Sutcliffe, Geoff; Suttner, Christian
8
2004
Evaluating general purpose automated theorem proving systems. Zbl 0996.68182
Sutcliffe, Geoff; Suttner, Christian
8
2001
The development of CASC. Zbl 1019.68101
Pelletier, Francis Jeffry; Sutcliffe, Geoff; Suttner, Christian
7
2002
The CADE-22 automated theorem proving system competition – CASC-22. Zbl 1200.68220
Sutcliffe, Geoff
6
2010
THF0 – the core of the TPTP language for higher-order logic. Zbl 1165.68447
Benzmüller, Christoph; Rabe, Florian; Sutcliffe, Geoff
6
2008
Extending the TPTP language to higher-order logic with automated parser generation. Zbl 1222.68375
Van Gelder, Allen; Sutcliffe, Geoff
5
2006
System description: SystemOnTPTP. Zbl 0963.68529
Sutcliffe, Geoff
5
2000
The CADE-16 ATP system competition. Zbl 0953.68595
Sutcliffe, Geoff
5
2000
The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0. Zbl 1425.68381
Sutcliffe, Geoff
4
2017
Automated verification of refinement laws. Zbl 1184.68463
Höfner, Peter; Struth, Georg; Sutcliffe, Geoff
4
2009
The CADE-21 automated theorem proving system competition. Zbl 1147.68699
Sutcliffe, Geoff
4
2008
An interactive derivation viewer. Zbl 1278.68282
Trac, Steven; Puzis, Yury; Sutcliffe, Geoff
4
2007
The 8th IJCAR automated theorem proving system competition – CASC-J8. Zbl 1373.68367
Sutcliffe, Geoff
3
2016
Automated reasoning and presentation support for formalizing mathematics in MizAR. Zbl 1286.68403
Urban, Josef; Sutcliffe, Geoff
3
2010
The CADE-14 ATP system competition. Zbl 0916.68141
Suttner, Christian; Sutcliffe, Geoff
3
1998
The IJCAR ATP system competition. Zbl 1003.68718
Sutcliffe, G.; Suttner, C. B.; Pelletier, F. J.
2
2002
GRUNGE: a grand unified ATP challenge. Zbl 07178973
Brown, Chad E.; Gauthier, Thibault; Kaliszyk, Cezary; Sutcliffe, Geoff; Urban, Josef
1
2019
Detecting inconsistencies in large first-order knowledge bases. Zbl 06778411
Schulz, Stephan; Sutcliffe, Geoff; Urban, Josef; Pease, Adam
1
2017
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
1
2009
Solving the $100 modal logic challenge. Zbl 1161.03302
Rabe, Florian; Pudlák, Petr; Sutcliffe, Geoff; Shen, Weina
1
2009
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
An erratum for some errata to ATP problems. Zbl 0868.68099
Pelletier, Francis Jeffry; Sutcliffe, Geoff
1
1997
GRUNGE: a grand unified ATP challenge. Zbl 07178973
Brown, Chad E.; Gauthier, Thibault; Kaliszyk, Cezary; Sutcliffe, Geoff; Urban, Josef
1
2019
The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0. Zbl 1425.68381
Sutcliffe, Geoff
4
2017
Detecting inconsistencies in large first-order knowledge bases. Zbl 06778411
Schulz, Stephan; Sutcliffe, Geoff; Urban, Josef; Pease, Adam
1
2017
The 8th IJCAR automated theorem proving system competition – CASC-J8. Zbl 1373.68367
Sutcliffe, Geoff
3
2016
ATP and presentation service for Mizar formalizations. Zbl 1260.68380
Urban, Josef; Rudnicki, Piotr; Sutcliffe, Geoff
21
2013
The TPTP typed first-order form with arithmetic. Zbl 1352.68217
Sutcliffe, Geoff; Schulz, Stephan; Claessen, Koen; Baumgartner, Peter
11
2012
Automated reasoning in higher-order logic using the TPTP THF infrastructure. Zbl 1211.68371
Sutcliffe, Geoff; Benzmüller, Christoph
20
2010
The TPTP World – infrastructure for automated reasoning. Zbl 1253.68292
Sutcliffe, Geoff
9
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
3
2010
The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0. Zbl 1185.68636
Sutcliffe, Geoff
79
2009
Automated verification of refinement laws. Zbl 1184.68463
Höfner, Peter; Struth, Georg; Sutcliffe, Geoff
4
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
1
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ří
17
2008
ATP-based cross-verification of Mizar proofs: method, systems, and first experiments. Zbl 1178.68532
Urban, Josef; Sutcliffe, Geoff
8
2008
THF0 – the core of the TPTP language for higher-order logic. Zbl 1165.68447
Benzmüller, Christoph; Rabe, Florian; Sutcliffe, Geoff
6
2008
The CADE-21 automated theorem proving system competition. Zbl 1147.68699
Sutcliffe, Geoff
4
2008
SRASS – a semantic relevance axiom selection system. Zbl 1213.68575
Sutcliffe, Geoff; Puzis, Yury
9
2007
An interactive derivation viewer. Zbl 1278.68282
Trac, Steven; Puzis, Yury; Sutcliffe, Geoff
4
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
14
2006
Using the TPTP language for writing derivations and finite interpretations. Zbl 1222.68373
Sutcliffe, Geoff; Schulz, Stephan; Claessen, Koen; Van Gelder, Allen
8
2006
Extending the TPTP language to higher-order logic with automated parser generation. Zbl 1222.68375
Van Gelder, Allen; Sutcliffe, Geoff
5
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
7
2002
The IJCAR ATP system competition. Zbl 1003.68718
Sutcliffe, G.; Suttner, C. B.; Pelletier, F. J.
2
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
8
2001
System description: SystemOnTPTP. Zbl 0963.68529
Sutcliffe, Geoff
5
2000
The CADE-16 ATP system competition. Zbl 0953.68595
Sutcliffe, Geoff
5
2000
The TPTP problem library. CNF release v1. 2. 1. Zbl 0910.68197
Sutcliffe, Geoff; Suttner, Christian
62
1998
The CADE-14 ATP system competition. Zbl 0916.68141
Suttner, Christian; Sutcliffe, Geoff
3
1998
An erratum for some errata to ATP problems. Zbl 0868.68099
Pelletier, Francis Jeffry; Sutcliffe, Geoff
1
1997
all top 5

Cited by 312 Authors

23 Urban, Josef
17 Benzmüller, Christoph Ewald
14 Kaliszyk, Cezary
9 Sutcliffe, Geoff
9 Voronkov, Andrei
8 Baumgartner, Peter
8 Blanchette, Jasmin Christian
8 Paulson, Lawrence Charles
6 Brown, Chad Edward
6 Grabowski, Adam
5 Böhme, Sascha
5 Naumowicz, Adam
5 Rabe, Florian
5 Tinelli, Cesare
5 Vyskočil, Jiří
4 Barrett, Clark W.
4 Hetzl, Stefan
4 Korniłowicz, Artur
4 Kühlwein, Daniel
4 Otten, Jens
4 Pąk, Karol
4 Reger, Giles
4 Weidenbach, Christoph
3 Alama, Jesse
3 Bancerek, Grzegorz
3 Claessen, Koen
3 Dang, Han-Hing
3 de Nivelle, Hans
3 Höfner, Peter
3 Janičić, Predrag
3 Kovács, Laura Ildikó
3 Lillieström, Ann
3 Lynch, Christopher A.
3 Meng, Jia
3 Möller, Bernhard
3 Peltier, Nicolas
3 Reis, Giselle
3 Steen, Alexander
3 Stump, Aaron
3 Suda, Martin
3 Wisniewski, Max
3 Woltzenlogel Paleo, Bruno
2 Autexier, Serge
2 Bezem, Marc
2 Bibel, Wolfgang
2 Burel, Guillaume
2 Bury, Guillaume
2 Byliński, Czesław
2 de Moura, Leonardo
2 Défourneaux, Gilles
2 Delahaye, David
2 Ebner, Gabriel
2 Färber, Michael
2 Fleury, Mathias
2 Fontaine, Pascal
2 Furbach, Ulrich
2 Geuvers, Jan Herman
2 Heskes, Tom M.
2 Hillenbrand, Thomas
2 Hoder, Kryštof
2 Jakubův, Jan
2 Kohlhase, Michael
2 Korovin, Konstantin
2 Kreitz, Christoph
2 Leitsch, Alexander
2 Letz, Reinhold
2 Löchner, Bernd
2 Matuszewski, Roman
2 Narboux, Julien
2 Nipkow, Tobias
2 Pelzer, Björn
2 Plaisted, David Alan
2 Quaresma, Pedro
2 Reynolds, Andrew
2 Schulz, Stephan
2 Scott, Dana Stewart
2 Smallbone, Nicholas
2 Sorge, Volker
2 Stojanović Đurđević, Sana
2 Stojanović, Sana
2 Struth, Georg
2 Sultana, Nik
2 Suttner, Christian B.
2 Teucke, Andreas
2 Theiss, Frank
2 Tsivtsivadze, Evgeni
2 Waaler, Arild
2 Weller, Daniel S.
2 Windsteiger, Wolfgang
2 Xu, Yang
1 Anai, Hirokazu
1 Antonsen, Roger
1 Arai, Noriko H.
1 Areces, Carlos
1 Arthan, Rob D.
1 Asperti, Andrea
1 Aszalós, László
1 Audemard, Gilles
1 Avenhaus, Jürgen
1 Backes, Julian
...and 212 more Authors

Citations by Year