The complete root classification of a parametric polynomial on an interval
Songxin Liang, David J. Jeffrey, Marc Moreno Maza · 2008
Given a real parametric polynomial p(x) and an interval (a,b) ⊂ R, the Complete Root Classification (CRC) of p(x) on (a,b) is a collection of all possible cases of its root classification on (a,b), together with the conditions its coefficients must satisfy for each case. In this paper, a new algorithm is proposed for the automatic computation of the complete root classification of a parametric polynomial on an interval. As a direct application, the new algorithm is applied to some real quantifier elimination problems.