Ebook: Machine Proofs In Geometry: Automated Production of Readable Proofs for Geometry Theorems
Author: Shang-Ching Chou, Xiao-Shan Gao, Jingzhong Zhang
- Series: Series on applied mathematics v. 6
- Year: 1994
- Publisher: World Scientific
- City: Singapore ; New Jersey
- Language: English
- djvu
Pt. I. The Theory of Machine Proof. 1. Geometry Preliminaries. 2. The Area Method. 3. Machine Proof in Plane Geometry. 4. Machine Proof in Solid Geometry. 5. Vectors and Machine Proofs -- Pt. II. Topics From Geometry: A Collection of 400 Mechanically Proved Theorems. 6. Topics From Geometry
Download the book Machine Proofs In Geometry: Automated Production of Readable Proofs for Geometry Theorems for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)