Evaluating general purpose automated theorem proving systems
type: Item
instance of: scholarly article
title: Evaluating general purpose automated theorem proving systems
zbMATH Open document ID: 0996.68182
DOI: 10.1016/S0004-3702(01)00113-8
author: Geoff Sutcliffe
author: Christian Suttner
published in: Artificial Intelligence
publication date: 2002-07-24T00:00:00Z
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 1770914
zbMATH Keywords: ATP systems
describes a project that uses: Isabelle
describes a project that uses: ML
describes a project that uses: OTTER
describes a project that uses: CoDe
describes a project that uses: VAMPIRE
describes a project that uses: Analytica
describes a project that uses: Coq
describes a project that uses: SETHEO
describes a project that uses: SPASS
describes a project that uses: TPTP
describes a project that uses: HOL
MaRDI profile type: Publication
cites work: The use of lemmas in the model elimination procedure
cites work: Analytica --- an experiment in combining theorem proving and symbolic computation
cites work: Integration of automated and interactive theorem proving in ILF
cites work: CODE: A powerful prover for problems of condensed detachment
cites work: Q5287513
cites work: Testing heuristics: We have it all wrong
cites work: SETHEO: A high-performance theorem prover
cites work: Solution of the Robbins problem
cites work: Isabelle. A generic theorem prover
cites work: The search efficiency of theorem proving strategies
cites work: Automated deduction - CADE-16. 16th international conference, Trento, Italy, July 7--10, 1999. Proceedings
cites work: The TPTP problem library. CNF release v1. 2. 1
cites work: The CADE-16 ATP system competition
cites work: The CADE-14 ATP system competition
cites work: The anatomy of vampire. Implementing bottom-up procedures with code trees
Recommended article: Q3216155
Recommended article: Q4370791
Recommended article: Evaluation of Automated Theorem Proving on the Mizar Mathematical Library
Recommended article: An Evaluation Based Theorem Prover
Recommended article: Another look at automated theorem-proving
Recommended article: Automated theorem proving methods
Recommended article: Q3998281
Recommended article: Q3781734
Recommended article: Q3034850
Recommended article: Q3571252
description: scientific article; zbMATH DE number 1770914