✦ LIBER ✦

Mechanical theorem proving in differential geometry

✍ Scribed by Hongbo Li

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Mechanical theorem proving of differenti

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

Ordering in mechanical geometry theorem

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

Mechanical geometry theorem proving base

✍ Jinzhao Wu 📂 Article 📅 1997 🏛 Springer 🌐 English ⚖ 394 KB

Transcendental functions and mechanical

✍ Xiaoshan Gao 📂 Article 📅 1990 🏛 Springer Netherlands 🌐 English ⚖ 635 KB

Proving geometry theorems with rewrite r

✍ Shang-Ching Chou; William F. Schelter 📂 Article 📅 1986 🏛 Springer Netherlands 🌐 English ⚖ 1016 KB

A procedure to prove statements in diffe

✍ Giuseppa Carrà Ferro; Giovanni Gallo 📂 Article 📅 1990 🏛 Springer Netherlands 🌐 English ⚖ 324 KB