Ritt-Wu's Decomposition Algorithm and Geometry Theorem Proving.

Shang-Ching Chou, Xiao-Shan Gao

Browse the full CADE paper archive.