Hai-Ping Ko. Geometry Theorem Proving by Decomposition of Quasi-Algebraic Sets: An Application of the Ritt-Wu Principle. Artificial Intelligence, 37(1-3):95-122, 1988.
@article{Ko88,
title = {Geometry Theorem Proving by Decomposition of Quasi-Algebraic Sets: An Application of the Ritt-Wu Principle},
author = {Hai-Ping Ko},
year = {1988},
tags = { algebra},
researchr = {https://researchr.org/publication/Ko88},
cites = {0},
citedby = {0},
journal = {Artificial Intelligence},
volume = {37},
number = {1-3},
pages = {95-122},
}