Lu Yang Recent Advances on Determining the Number of Real Roots of Parametric Polynomials. 225-242 1999 28 J. Symb. Comput. 1-2 db/journals/jsc/jsc28.html#Yang99