1. A computer algebra system Risa/Asir. http://www.math.kobe-u.ac.jp/Asir/asir.html
2. Basu, S., Pollack, R., Roy, M.: Algorithms in Real Algebraic Geometry. Algorithms and Computation in Mathematics, vol. 10. Springer, Berlin
3. Chen, C., Golubitsky, O., Lemaire, F., Moreno Maza, M., Pan, W.: Comprehensive Triangular Decomposition, vol. 4770 of LNCS, pp. 73–101. Springer, Berlin (2007)
4. Chou S.C.: Mechanical Geometry Theorem Proving. Mathematics and Its Applications. Springer, Berlin (1988)
5. Fortuna E., Gianni P., Trager B.: Degree reduction under specialization. J. Pure Appl. Algebra 164, 153–164 (2001)