✦ LIBER ✦

A New Algebraic Tool for Automatic Theorem Provers

✍ Scribed by P. Cordero; G. Gutiérrez; J. Martínez; I.P. de Guzmán

Book ID: 111570659
Publisher: Springer Netherlands
Year: 2004
Tongue: English
Weight: 238 KB
Volume: 42
Category: Article
ISSN: 1012-2443
DOI: 10.1023/b:amai.0000038312.77514.3c

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Automated theorem provers: a practical t

Automated theorem provers: a practical tool for the working mathematician?

✍ Alan Bundy 📂 Article 📅 2011 🏛 Springer Netherlands 🌐 English ⚖ 269 KB

A new theorem discovered by computer pro

A new theorem discovered by computer prover

✍ Dongming Wang 📂 Article 📅 1989 🏛 Springer 🌐 English ⚖ 386 KB

Case Splitting in an Automatic Theorem P

Case Splitting in an Automatic Theorem Prover for Real-Valued Special Functions

✍ James P. Bridge, Lawrence Charles Paulson 📂 Article 📅 2012 🏛 Springer Netherlands 🌐 English ⚖ 357 KB

SMT solvers: new oracles for the HOL the

SMT solvers: new oracles for the HOL theorem prover

✍ Tjark Weber 📂 Article 📅 2011 🏛 Springer 🌐 English ⚖ 239 KB

A Generic Approach to Building User Inte

A Generic Approach to Building User Interfaces for Theorem Provers

✍ Y. Bertot; L. Théry 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 713 KB

In this paper, we present the results of an ongoing effort in building user interfaces for proof systems. Our approach is generic: we are not constructing a user interface for a particular proof system, rather we have developed techniques and tools that have been applied to several proof systems. We

A New Approach for Automatic Theorem Pro

A New Approach for Automatic Theorem Proving in Real Geometry

✍ Andreas Dolzmann; Thomas Sturm; Volker Weispfenning 📂 Article 📅 1998 🏛 Springer Netherlands 🌐 English ⚖ 161 KB