Automated Geometry Theorem Proving for Human-Readable Proofs.

Ke Wang Zhendong Su

Published in: IJCAI (2015)

Keyphrases

human readable
geometry theorem proving
theorem proving
meta information
theorem prover
inference rules
semantic content
machine learning
expert systems
high level
xml documents
hand crafted