✦ LIBER ✦

Vectorial Equations Solving for Mechanical Geometry Theorem Proving

✍ Scribed by Hongbo Li

Book ID: 110232870
Publisher: Springer Netherlands
Year: 2000
Tongue: English
Weight: 209 KB
Volume: 25
Category: Article
ISSN: 0168-7433
DOI: 10.1023/a:1006182023017

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Mechanical geometry theorem proving

✍ Shang-Ching Chou 📂 Library 📅 1988 🏛 D. Reidel Pub. Co.; Sold and distributed in the U. 🌐 English ⚖ 4 MB

Mechanical Geometry Theorem Proving

✍ Shang-Ching Chou 📂 Library 📅 1988 🏛 D. Reidel Pub. Co.; Sold and distributed in the U. 🌐 English ⚖ 4 MB

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

Mathematics Mechanization: Mechanical Ge

Mathematics Mechanization: Mechanical Geometry Theorem proving

✍ Wu Wen-tsun 📂 Library 📅 2001 🏛 Springer 🌐 English ⚖ 4 MB

A collection of essays centered around mathematical mechanization, dealing with mathematics in an algorithmic and constructive manner, with the aim of developing mechanical, automated reasoning. Discusses historical developments, underlying principles, and features applications and examples.

Mechanical geometry theorem proving base

Mechanical geometry theorem proving based on groebner bases

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