Mathematics mechanization: mechanical ge
β Wu Wen-tsun
π Library
π
2000
π Springer
π English
β¦ LIBER β¦
π
Mathematics Mechanization: Mechanical Geometry Theorem proving
β Scribed by Wu Wen-tsun
- Publisher
- Springer
- Year
- 2001
- Tongue
- English
- Leaves
- 427
- Series
- Mathematics and Its Applications
- Edition
- 1
- Category
- Library
β¬ Acquire This Volume
No coin nor oath required. For personal study only.
β¦ Subjects
ΠΠ°ΡΠ΅ΠΌΠ°ΡΠΈΠΊΠ°;ΠΡΠΎΡΠΈΠ΅ ΡΠ°Π·Π΄Π΅Π»Ρ ΠΌΠ°ΡΠ΅ΠΌΠ°ΡΠΈΠΊΠΈ;
π SIMILAR VOLUMES
Mathematics mechanization: mechanical ge
β 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.
Mechanical Geometry Theorem Proving
β Shang-Ching Chou
π Library
π
1987
π Springer
π English
Mechanical Geometry Theorem Proving
β Shang-Ching Chou
π Library
π
1987
π Springer
π English
Mechanical geometry theorem proving
β Shang-Ching Chou
π Library
π
1988
π D. Reidel Pub. Co.; Sold and distributed in the U.
π English
Mechanical geometry theorem proving
β Shang-Ching Chou
π Library
π
1987
π D. Reidel
π English