Shang-Ching Chou, Xiao-Shan Gao
Ritt-Wu’s Decomposition Algorithm and Geometry Theorem Proving
CADE, 1990.
@inproceedings{CADE-1990-ChouG, author = "Shang-Ching Chou and Xiao-Shan Gao", booktitle = "{Proceedings of the 10th International Conference on Automated Deduction}", doi = "10.1007/3-540-52885-7_89", isbn = "3-540-52885-7", pages = "207--220", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Ritt-Wu’s Decomposition Algorithm and Geometry Theorem Proving}", volume = 449, year = 1990, }