1. Ritt J, Differential Algebra, American Mathematical Society, New York, 1950.
2. Wu W-T, On zeros of algebraic equations: An application of Ritt principle, Kexue Tongbao, 1986, 31(1): 1–5.
3. Wu W-T, Mechanical Theorem Proving in Geometries: Basic Principles, Springer-Verlag, Wien, 1994 [Translated from the Chinese by X. Jin and D. Wang].
4. Wu W-T, Mathematics Mechanization: Mechanical Geometry Theorem-Proving, Mechanical Geometry Problem-Solving, and Polynomial Equations-Solving, Kluwer Academic Publishers Norwell, MA, USA, 2001.
5. Aubry P, Lazard D, and Moreno Maza M, On the theories of triangular sets, J. Symbolic Comput., 1999, 28(1–2): 105–124.