Proving Geometry Statements of Constructive Type.

Shang-Ching Chou, Xiao-Shan Gao

Browse the full CADE paper archive.