Paper Info
Title
The complete root classification of a parametric polynomial on an interval
Abstract
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.
Year
DOI
Venue
2008
10.1145/1390768.1390796
ISSAC
Keywords
Field
DocType
possible case,real quantifier elimination problem,complete root classification,parametric polynomial,complete root,new algorithm,direct application,automatic computation,root classification,real parametric polynomial p,satisfiability,interval
Quantifier elimination,Discrete mathematics,Combinatorics,Polynomial,Parametric statistics,Mathematics,Computation
Conference
Citations 
PageRank 
References 
0
0.34
8
Authors
3
Name
Order
Citations
PageRank
Songxin Liang1215.09
David J. Jeffrey21172132.12
Marc Moreno Maza371767.29