✦ LIBER ✦

Transcendental functions and mechanical theorem proving in elementary geometries

✍ Scribed by Xiaoshan Gao

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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

Editor's preface to ‘basic principles of

✍ J Strother Moore 📂 Article 📅 1986 🏛 Springer Netherlands 🌐 English ⚖ 110 KB

Mechanical theorem proving of differenti

✍ Wu Wen-Tsun 📂 Article 📅 1991 🏛 Springer Netherlands 🌐 English ⚖ 954 KB

From logic design to logic programming:

✍ Yves Deville 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 252 KB