✦ LIBER ✦

Parallelization of a Hyper-Linking–Based Theorem Prover

✍ Scribed by Chih-Hung Wu; Shie-Jue Lee

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

SPTHEO - A Parallel Theorem Prover

✍ Christian B. Suttner 📂 Article 📅 1997 🏛 Springer Netherlands 🌐 English ⚖ 73 KB

Formalization of a Parameterized Paralle

✍ Chen, G. 📂 Article 📅 2010 🏛 IEEE 🌐 English ⚖ 122 KB

GRAMY: A Geometry Theorem Prover Capable

✍ Noboru Matsuda; Kurt VanLehn 📂 Article 📅 2004 🏛 Springer Netherlands 🌐 English ⚖ 282 KB

An industrial strength theorem prover fo

✍ Kaufmann, M.; Moore, J.S. 📂 Article 📅 1997 🏛 IEEE 🌐 English ⚖ 231 KB

An experiment with the Boyer-Moore theor

✍ David M. Russinoff 📂 Article 📅 1985 🏛 Springer Netherlands 🌐 English ⚖ 829 KB

Determination of dependencies in a knowl

✍ Thomas Brandes 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 637 KB