𝔖 Bobbio Scriptorium

✦ LIBER ✦

Ordering in automated theorem proving of differential geometry

✍ Scribed by Li Hongbo; Cheng Minteh

Book ID: 110624108
Publisher: Institute of Applied Mathematics, Chinese Academy of Sciences and Chinese Mathematical Society
Year: 1998
Tongue: English
Weight: 315 KB
Volume: 14
Category: Article
ISSN: 0168-9673
DOI: 10.1007/bf02683818

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Ordering in mechanical geometry theorem

Ordering in mechanical geometry theorem proving

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

Mechanical theorem proving in differenti

Mechanical theorem proving in differential geometry

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

Clifford Algebraic Reduction Method for

Clifford Algebraic Reduction Method for Automated Theorem Proving in Differential Geometry

✍ Li Hongbo; Cheng Minteh 📂 Article 📅 1998 🏛 Springer Netherlands 🌐 English ⚖ 188 KB

A Deductive Database Approach to Automat

A Deductive Database Approach to Automated Geometry Theorem Proving and Discovering

✍ Shang-Ching Chou; Xiao-Shan Gao; Jing-Zhong Zhang 📂 Article 📅 2000 🏛 Springer Netherlands 🌐 English ⚖ 158 KB

Recent advances in automated theorem pro

Recent advances in automated theorem proving on inequalities

✍ Lu Yang 📂 Article 📅 1999 🏛 Springer 🌐 English ⚖ 770 KB

Mechanical theorem proving of differenti

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

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