Skip to content
Vinony

Machine proofs in geometry

by Chou, Shang-Ching · 1994

Cover of Machine proofs in geometry
Popularity 1

No description available.

AxiomsData processingAutomatic theorem provingGeometry, data processing
Machine proofs in geometry by Chou, Shang-Ching — book · Vinony