Mathematics mechanization: mechanical geometry theorem-proving, mechanical geometry problem-solving, and polynomial equations-solving

✍ Scribed by Wu Wen-tsun

Publisher: Springer
Year: 2000
Tongue: English
Leaves: 427
Series: Mathematics and Its Applications
Edition: 1
Category: Library

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Mathematics mechanization: mechanical ge

📁 Mathematics mechanization: mechanical geometry theorem-proving, mechanical geometry problem-solving, and polynomial equations-solving

✍ Wu Wen-tsun 📂 Library 📅 2000 🏛 Springer 🌐 English

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.

Mathematics Mechanization: Mechanical Ge

📁 Mathematics Mechanization: Mechanical Geometry Theorem proving

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

Mechanical Geometry Theorem Proving

📁 Mechanical Geometry Theorem Proving

✍ Shang-Ching Chou 📂 Library 📅 1987 🏛 Springer 🌐 English

Mechanical Geometry Theorem Proving

📁 Mechanical Geometry Theorem Proving

✍ Shang-Ching Chou 📂 Library 📅 1987 🏛 Springer 🌐 English

Mechanical geometry theorem proving

📁 Mechanical geometry theorem proving

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

Mechanical geometry theorem proving

📁 Mechanical geometry theorem proving

✍ Shang-Ching Chou 📂 Library 📅 1987 🏛 D. Reidel 🌐 English