On Wu's Method for Proving Constructive Geometric Theorems.

Dongming Wang

Browse the full IJCAI paper archive.