๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Vectorial Equations Solving for Mechanical Geometry Theorem Proving

โœ Scribed by Hongbo Li


Book ID
110232870
Publisher
Springer Netherlands
Year
2000
Tongue
English
Weight
209 KB
Volume
25
Category
Article
ISSN
0168-7433

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
Mechanical Geometry Theorem Proving
โœ Shang-Ching Chou ๐Ÿ“‚ Library ๐Ÿ“… 1988 ๐Ÿ› D. Reidel Pub. Co.; Sold and distributed in the U. ๐ŸŒ English โš– 4 MB
Mathematics Mechanization: Mechanical Ge
โœ 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.