8Cox D, Little J, O'Shea D. Using Algebraic Geometry. New York: Springer-Verlag, 1998.
9Buchberger B. Grobner bases: An algorithmic method in polynomial ideal theory. Multidimen- sional Systems Theory, Dordrecht: Reidel, 1985.
10Collins G E and Hong H. Partial cylindrical algebraic decomposition for quantifier elimination. Journal of Symbolic Computation, 1991, (12): 299-328.