✦ LIBER ✦

Mechanical theorem proving of differential geometries and some of its applications in mechanics

✍ Scribed by Wu Wen-Tsun

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Mechanical theorem proving in differenti

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

Transcendental functions and mechanical

✍ Xiaoshan Gao 📂 Article 📅 1990 🏛 Springer Netherlands 🌐 English ⚖ 635 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

Some continuum mechanics applications of

✍ William L. Wainwright 📂 Article 📅 1971 🏛 Springer 🌐 English ⚖ 324 KB

Editor's preface to ‘basic principles of

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