ACM - Normas
E. Kaltofen
Proceedings of the fifth annual symposium on Computational geometry - SCG ’89
A new decision method for elementary algebra
The fundamental theorem of algebra in terms of computational complexity
A faster P-space algorithm for deciding the existential theory of the reals
Some useful bounds
An inequality for the discriminant of a polynomial
Computing in algebraic extensions