Mechanically Proving Geometry Theorems Using a Combination of Wu's Method and Collins' Method.

Nicholas Freitag McPhee, Shang-Ching Chou, Xiao-Shan Gao

Browse the full CADE paper archive.