Name
Title | ||
|---|---|---|
Automatic computation of the complete root classification for a parametric polynomial |
Abstract | ||
|---|---|---|
An improved algorithm, together with its implementation, is presented for the automatic computation of the complete root classification of a real parametric polynomial. The algorithm offers improved efficiency and a new test for non-realizable conditions. The improvement lies in the direct use of 'sign lists', obtained from the discriminant sequence, rather than 'revised sign lists'. It is shown that the discriminant sequences, upon which the sign lists are based, are closely related both to Sturm-Habicht sequences and to subresultant sequences. Thus calculations based on any of these quantities are essentially equivalent. One particular application of complete root classifications is the determination of the conditions for the positive definiteness of a polynomial, and here the new algorithm is applied to a class of sparse polynomials. It is seen that the number of conditions for positive definiteness remains surprisingly small in these cases. |
Year | DOI | Venue |
|---|---|---|
2009 | 10.1016/j.jsc.2009.05.003 | J. Symb. Comput. |
Keywords | DocType | Volume |
root classiflcation.,complete root classification,discriminant sequence,Real quantifier elimination,parametric polynomial,new algorithm,new test,sparse polynomial,real quantifler elimination,Subresultant polynomial,improved algorithm,revised sign list,sign list,positive definiteness,complete root classiflcation,real parametric polynomial,Parametric polynomial,Complete root classification,Real root,automatic computation | Journal | 44 |
Issue | ISSN | Citations |
10 | Journal of Symbolic Computation | 1 |
PageRank | References | Authors |
0.38 | 11 | 2 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Songxin Liang | 1 | 21 | 5.09 |
| David J. Jeffrey | 2 | 1172 | 132.12 |