Mathematics mechanization: mechanical ge
โ Wu Wen-tsun
๐ Library
๐
2000
๐ Springer
๐ English
โฆ LIBER โฆ
๐
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
โฌ Acquire This Volume
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.
๐ SIMILAR VOLUMES
Mathematics Mechanization: Mechanical Ge
โ Wu Wen-tsun
๐ Library
๐
2001
๐ Springer
๐ English
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