✦ LIBER ✦

Mathematics Mechanization: Mechanical Geometry Theorem proving

✍ Scribed by Wu Wen-tsun

Book ID: 127421427
Publisher: Springer
Year: 2001
Tongue: English
Weight: 4 MB
Series: Mathematics and Its Applications
Edition: 1
Category: Library
ISBN-13: 9780792358350

No coin nor oath required. For personal study only.

✦ Synopsis

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.

✦ Subjects

Прочие разделы математики

📜 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

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