1. Polynomial factorization: Sharp bounds, efficient algorithms;Beauzamy;Journal of Symbolic Computation,1993
2. Quantifier Elimination and Cylindrical Algebraic Decomposition,1998
3. Quantifier elimination by cylindrical algebraic decomposition—twenty years of progress;Collins,1998
4. Improved techniques for factoring univariate polynomials;Collins;Journal of Symbolic Computation,1996
5. The Art of Computer Programming, Vol. 2: Seminumerical Algorithms;Knuth,1998