Automated Geometry Theorem Proving for Human-Readable Proofs.

Ke Wang, Zhendong Su

Browse the full IJCAI paper archive.