✦ LIBER ✦

Computer Theorem Proving in Mathematics

✍ Scribed by Carlos Simpson

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Numerical theorem proving by electronic

✍ P. S. Pankov; B. D. Bayachorova; S. A. Yugai 📂 Article 📅 1983 🏛 Springer US 🌐 English ⚖ 844 KB

Composite method of proving some theorem

✍ P. S. Pankov 📂 Article 📅 1979 🏛 Springer US 🌐 English ⚖ 600 KB

Some Recent Developments in Complete Str

✍ Bernard Meltzer 📂 Article 📅 1968 🏛 John Wiley and Sons 🌐 English ⚖ 329 KB

## SOME RECENT DEVELOPMENTS IN COMPLETE STRATEGIES FOR THEOREM-PROVING BY COMPUTER1) by BERNARD MELTZER in Edinburgh, Scotland

Automated theorem-proving research in th

✍ Mark E Stickel 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 899 KB

Ordering in mechanical geometry theorem

✍ Hongbo Li 📂 Article 📅 1997 🏛 SP Science China Press 🌐 English ⚖ 534 KB

Mechanical theorem proving in differenti

✍ Hongbo Li 📂 Article 📅 1997 🏛 SP Science China Press 🌐 English ⚖ 292 KB