✦ LIBER ✦

The utility of independent subgoals in theorem proving

✍ Scribed by George W. Ernst

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Proving the circle of Apollonius theorem

✍ Ayoub B. Ayoub 📂 Article 📅 2003 🏛 National Council of Teachers of Mathematics ⚖ 605 KB

The role of theorem proving in systems b

✍ Olaf Wolkenhauer; Darryl Shibata; Mihajlo D. Mesarović 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 150 KB

The Specialization of Programs by Theore

✍ Chang, C. L.; Lee, R. C. T.; Dixon, J. K. 📂 Article 📅 1973 🏛 Society for Industrial and Applied Mathematics 🌐 English ⚖ 683 KB

On the role of unification in mechanical

✍ Robert E. Shostak 📂 Article 📅 1977 🏛 Springer-Verlag 🌐 English ⚖ 306 KB

Mechanical theorem proving in the local

✍ Ziming Li 📂 Article 📅 1995 🏛 Springer Netherlands 🌐 English ⚖ 868 KB

Proving the Pythagorean Theorem via Infi

✍ Zsolt Lengvárszky 📂 Article 📅 2013 🏛 Mathematical Association of America 🌐 English ⚖ 204 KB