Automated Production of Traditional Proofs for Constructive Geometry Theorems

Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang

Browse the full LICS paper archive.