✦ LIBER ✦

Mechanical geometry theorem proving

✍ Scribed by Shang-Ching Chou

Book ID: 127421486
Publisher: D. Reidel Pub. Co.; Sold and distributed in the U.S.A. and Canada by Kluwer Academic Publishers
Year: 1988
Tongue: English
Weight: 4 MB
Series: Mathematics and its applications
Edition: 1
Category: Library
City: Dordrecht; Boston :, Norwell, MA, U.S.A
ISBN-13: 9789027726506

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

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.

Vectorial Equations Solving for Mechanic

Vectorial Equations Solving for Mechanical Geometry Theorem Proving

✍ Hongbo Li 📂 Article 📅 2000 🏛 Springer Netherlands 🌐 English ⚖ 209 KB

Mechanical geometry theorem proving base

Mechanical geometry theorem proving based on groebner bases

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