Cover of Machine Proofs In Geometry: Automated Production Of Readable Proofs For Geometry Theorems by Jing-zhong Zhang

Machine Proofs In Geometry: Automated Production Of Readable Proofs For Geometry Theorems

Jing-zhong Zhang
Cover of Mechanical Geometry Theorem Proving by Shang-Ching Chou

Mechanical Geometry Theorem Proving

Shang-Ching Chou