TY - GEN
T1 - TPTP, TSTP, CASC, etc.
AU - Sutcliffe, Geoff
PY - 2007
Y1 - 2007
N2 - This paper gives an overview of activities and products that stem from the Thousands of Problems for Theorem Provers (TPTP) problem library for Automated Theorem Proving (ATP) systems. These include the TPTP itself, the Thousands of Solutions from Theorem Provers (TSTP) solution library, the CADE ATP System Competition (CASC), tools such as my semantic Derivation Verifier (GDV) and the Interactive Derivation Viewer (IDV), meta-ATP systems such as the Smart Selective Competition Parallelism (SSCPA) system and the Semantic Relevance Axiom Selection System (SRASS), and applications in various domains.
AB - This paper gives an overview of activities and products that stem from the Thousands of Problems for Theorem Provers (TPTP) problem library for Automated Theorem Proving (ATP) systems. These include the TPTP itself, the Thousands of Solutions from Theorem Provers (TSTP) solution library, the CADE ATP System Competition (CASC), tools such as my semantic Derivation Verifier (GDV) and the Interactive Derivation Viewer (IDV), meta-ATP systems such as the Smart Selective Competition Parallelism (SSCPA) system and the Semantic Relevance Axiom Selection System (SRASS), and applications in various domains.
UR - http://www.scopus.com/inward/record.url?scp=37249087160&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=37249087160&partnerID=8YFLogxK
U2 - 10.1007/978-3-540-74510-5_4
DO - 10.1007/978-3-540-74510-5_4
M3 - Conference contribution
AN - SCOPUS:37249087160
SN - 9783540745099
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 6
EP - 22
BT - Computer Science - Theory and Applications - Second International Symposium on Computer Science in Russia, CSR 2007, Proceedings
PB - Springer Verlag
T2 - 2nd International Symposium on Computer Science in Russia, CSR 2007
Y2 - 3 September 2007 through 7 September 2007
ER -