Ask
Search
My library
ORKG

ORKG Ask

Our mission is to organize scholarly knowledge and make it accessible to humans and machines.

About

About ORKG Ask
Report issue
Statistics
Contact

Legal

Terms of use
Data protection (sheet)
Imprint
Accessibility
License

Technical

We
open source
System status
Changelog
Frontend: v1.41.0
Backend: v1.13.4

We use cookies to provide a better user experience.

Data Protection

Initial Experiments with TPTP-style Automated Theorem Provers on ACL2 Problems

Joosten, S.
Kaliszyk, C.
Urban, J.

Publication date

January 2014

DOI

10.4204/EPTCS.152.6

Publisher

Open Publishing Association

ISSN

2075-2180

Abstract

Contains fulltext : 132833.pdf (postprint version ) (Open Access

Extracted data

Related items

Towards an interactive Mathematical Proof Language

Barendregt, H.P.

January 2003

Contains fulltext : 17282.pdf (preprint version ) (Closed access

Proceedings Twelfth International Workshop on the ACL2 Theorem Prover and its Applications (Vienna, Austria, July 12-13, 2014)

Verbeek, F Freek
Schmaltz, J Julien

January 2014

This volume contains the proceedings of the Twelfth International Workshop on the ACL2 Theorem Prove...

Formal proof -- getting started

Wiedijk, F.

January 2008

Contains fulltext : 72455.pdf (publisher's version ) (Open Access

Initial experiments with TPTP-style automated theorem provers on ACL2 problems

Joosten, S.J.C.
Kaliszyk, C.
Urban, J.

January 2014

This paper reports our initial experiments with using external ATP on some corpora built with the AC...

Creative Commons Attribution License. Initial Experiments with TPTP-style Automated Theorem Provers on ACL2 Problems

Sebastiaan Joosten
Cezary Kaliszyk

August 2016

This paper reports our initial experiments with using external ATP on some corpora built with the AC...

Benchmarks for Automata Learning and Conformance Testing

Neider, D.
Smetsers, R.
Vaandrager, F.W.
Kuppens, H.C.W.

January 2019

Contains fulltext : 204557.pdf (preprint version ) (Closed access) ...

Learning-assisted theorem proving with millions of lemmas

Kaliszyk, C.
Urban, J.

January 2015

Contains fulltext : 139683.pdf (publisher's version ) (Closed access

Automated Theorem Proving for Quality--checkingMedical Guidelines

Hommersom, A.J.
Lucas, P.J.F.
Bommel, P. van

January 2005

Contains fulltext : 33257.pdf (preprint version ) (Open Access)CADE'2

The CADE-25 Automated Theorem Proving system competition - CASC-25

Sutcliffe, G.
Urban, J.

January 2016

Contains fulltext : 158074.pdf (publisher's version ) (Closed access

Autarkic computations in formal proofs

Barendregt, H.P.
Barendsen, E.

January 2002

Contains fulltext : 17263.pdf (preprint version ) (Open Access

Automatic Testing of Higher Order Functions

Koopman, Pieter
Plasmeijer, Rinus

January 2006

Contains fulltext : 36061.pdf (author's version ) (Open Access

Cote de Resyste -- Automated Model Based Testing

Tretmans, G.J.
Brinksma, E.

January 2002

Contains fulltext : 176037.pdf (publisher's version ) (Open Access

Theorem Proving for functional Programmers

Mol, M.J.T.M.
Eekelen, M.C.J.D. van
Plasmeijer, M.J.

January 2001

Contains fulltext : 107662.pdf (author's version ) (Open Access

Evaluation of Automated Theorem Proving on the Mizar Mathematical Library

Fukuda, K.
Hoeven, J.G. van der
Joswig, M.
Takayama, N.
Urban, J.
Hoder, K.
Voronkov, A.

January 2010

Contains fulltext : 83733.pdf (publisher's version ) (Closed access

Proceedings of the 18th International Workshop on the ACL2 Theorem Prover and Its Applications

Coglio, Alessandro
Swords, Sol

November 2023

This volume contains the proceedings of the Eighteenth International Workshop on the ACL2 Theorem Pr...

Towards an interactive Mathematical Proof Language

Barendregt, H.P.

January 2003

Contains fulltext : 17282.pdf (preprint version ) (Closed access

Proceedings Twelfth International Workshop on the ACL2 Theorem Prover and its Applications (Vienna, Austria, July 12-13, 2014)

Verbeek, F Freek
Schmaltz, J Julien

January 2014

This volume contains the proceedings of the Twelfth International Workshop on the ACL2 Theorem Prove...

Formal proof -- getting started

Wiedijk, F.

January 2008

Contains fulltext : 72455.pdf (publisher's version ) (Open Access

Initial experiments with TPTP-style automated theorem provers on ACL2 problems

Joosten, S.J.C.
Kaliszyk, C.
Urban, J.

January 2014

This paper reports our initial experiments with using external ATP on some corpora built with the AC...

Creative Commons Attribution License. Initial Experiments with TPTP-style Automated Theorem Provers on ACL2 Problems

Sebastiaan Joosten
Cezary Kaliszyk

August 2016

This paper reports our initial experiments with using external ATP on some corpora built with the AC...

Benchmarks for Automata Learning and Conformance Testing

Neider, D.
Smetsers, R.
Vaandrager, F.W.
Kuppens, H.C.W.

January 2019

Contains fulltext : 204557.pdf (preprint version ) (Closed access) ...

Learning-assisted theorem proving with millions of lemmas

Kaliszyk, C.
Urban, J.

January 2015

Contains fulltext : 139683.pdf (publisher's version ) (Closed access

Automated Theorem Proving for Quality--checkingMedical Guidelines

Hommersom, A.J.
Lucas, P.J.F.
Bommel, P. van

January 2005

Contains fulltext : 33257.pdf (preprint version ) (Open Access)CADE'2

The CADE-25 Automated Theorem Proving system competition - CASC-25

Sutcliffe, G.
Urban, J.

January 2016

Contains fulltext : 158074.pdf (publisher's version ) (Closed access

Autarkic computations in formal proofs

Barendregt, H.P.
Barendsen, E.

January 2002

Contains fulltext : 17263.pdf (preprint version ) (Open Access

Automatic Testing of Higher Order Functions

Koopman, Pieter
Plasmeijer, Rinus

January 2006

Contains fulltext : 36061.pdf (author's version ) (Open Access

Cote de Resyste -- Automated Model Based Testing

Tretmans, G.J.
Brinksma, E.

January 2002

Contains fulltext : 176037.pdf (publisher's version ) (Open Access

Theorem Proving for functional Programmers

Mol, M.J.T.M.
Eekelen, M.C.J.D. van
Plasmeijer, M.J.

January 2001

Contains fulltext : 107662.pdf (author's version ) (Open Access

Evaluation of Automated Theorem Proving on the Mizar Mathematical Library

Fukuda, K.
Hoeven, J.G. van der
Joswig, M.
Takayama, N.
Urban, J.
Hoder, K.
Voronkov, A.

January 2010

Contains fulltext : 83733.pdf (publisher's version ) (Closed access

Proceedings of the 18th International Workshop on the ACL2 Theorem Prover and Its Applications

Coglio, Alessandro
Swords, Sol

November 2023

This volume contains the proceedings of the Eighteenth International Workshop on the ACL2 Theorem Pr...

Towards an interactive Mathematical Proof Language

Barendregt, H.P.

January 2003

Contains fulltext : 17282.pdf (preprint version ) (Closed access

Proceedings Twelfth International Workshop on the ACL2 Theorem Prover and its Applications (Vienna, Austria, July 12-13, 2014)

Verbeek, F Freek
Schmaltz, J Julien

January 2014

This volume contains the proceedings of the Twelfth International Workshop on the ACL2 Theorem Prove...

Formal proof -- getting started

Wiedijk, F.

January 2008

Contains fulltext : 72455.pdf (publisher's version ) (Open Access