An Algorithm for Computing the Complete Root Classification of a Parametric Polynomial

Abstract. The Complete Root Classification for a univariate polynomial with symbolic coefficients is the collection of all the possible cases of its root classification, together with the conditions its coefficients should satisfy for each case. Here an algorithm is given for the automatic computation of the complete root classification of a polynomial with complex symbolic coefficients. The application of complete root classifications to some real quantifier elimination problems is also described.

• Type: Conference
• Year: 2006
• Where: AISC
• Authors: Songxin Liang, David J. Jeffrey
• Keywords: AISC 2006, Artificial Intelligence, Complete Root Classifications, Complex Symbolic Coefficients, Symbolic Coefficients