Advertisement

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

  • Songxin Liang
  • David J. Jeffrey
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4120)

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.

Keywords

Complete discrimination system complete root classification root classification parametric polynomial 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Arnon, D.S.: On Mechanical Quantifier Elimination for Elementary Algebra and Geometry: Automatic Solution of a Nontrivial Problem. In: Caviness, B.F. (ed.) ISSAC 1985 and EUROCAL 1985. LNCS, vol. 204, pp. 270–271. Springer, Heidelberg (1985)Google Scholar
  2. 2.
    Arnon, D.S.: Geometric Reasoning with Logic and Algebra. Artificial Intelligence 37, 37–60 (1988)CrossRefMathSciNetzbMATHGoogle Scholar
  3. 3.
    Collins, G.E.: Quantifier Elimination for the Elementary Theory of Real Closed Fields by Cylindrical Algebraic Decomposition. In: Brakhage, H. (ed.) GI-Fachtagung 1975. LNCS, vol. 33, pp. 134–183. Springer, Heidelberg (1975)Google Scholar
  4. 4.
    Collins, G.E., Hong, H.: Partial Cylindrical Algebraic Decomposition for Quantifier Elimination. Journal of Symbolic Computation 12, 299–328 (1991)CrossRefMathSciNetzbMATHGoogle Scholar
  5. 5.
    Brown, C.W.: QEPCAD B: a Program for Computing with Semi-algebraic Sets Using CADs. ACM SIGSAM Bulletin 37, 97–108 (2003)CrossRefzbMATHGoogle Scholar
  6. 6.
    Lan, Y., Wang, L., Zhang, L.: The Finite Checking Method of the Largest Stability Bound for a Class of Uncertain Interval Systems. Journal of Peking University 40, 29–36 (2004)MathSciNetGoogle Scholar
  7. 7.
    Liang, S., Zhang, J.: A Complete Discrimination System for Polynomials with Complex Coefficients and Its Automatic Generation. Science in China (Series E) 42, 113–128 (1999)CrossRefMathSciNetzbMATHGoogle Scholar
  8. 8.
    Winkler, F.: Polynomial Algorithms in Computer Algebra. Springer, Wien (1996)zbMATHGoogle Scholar
  9. 9.
    Yang, L.: Recent Advances on Determining the Number of Real Roots of Parametric Polynomials. Journal of Symbolic Computation 28, 225–242 (1999)CrossRefMathSciNetzbMATHGoogle Scholar
  10. 10.
    Yang, L., Hou, X., Zeng, Z.: Complete Discrimination System for Polynomials. Science in China (Series E) 39, 628–646 (1996)MathSciNetzbMATHGoogle Scholar
  11. 11.
    Yang, L., Zhang, J., Hou, X.: Non-linear Equation Systems and Automated Theorem Proving. Shanghai Press of Science, Technology and Education, Shanghai (1996)Google Scholar
  12. 12.
    Yang, C., Zhu, S., Liang, Z.: Complete Discrimination of the Roots of Polynomials and Its Applications. Acta Scientiarum Naturalium Universitatis Sunyatseni 42, 5–8 (2003)Google Scholar
  13. 13.
    Wang, L., Yu, W., Zhang, L.: On the Number of Positive Solutions to a Class of Integral Equations. Preprint in IMA at the University of Minnesota (2004)Google Scholar
  14. 14.
    Weispfenning, V.: Quantifier Elimination for Real Algebra - the Cubic Case. In: ISSAC, pp. 258–263 (1994)Google Scholar
  15. 15.
    Lazard, D.: Quantifier Elimination: Optimal Solution for Two Classical Examples. Journal of Symbolic Computation 5, 261–266 (1988)CrossRefMathSciNetzbMATHGoogle Scholar
  16. 16.
    Brown, C.W.: Simple CAD Construction and Its Applications. Journal of Symbolic Computation 31, 521–547 (2001)CrossRefMathSciNetzbMATHGoogle Scholar
  17. 17.
    Grigor’ev, D., Vorobjov, N.: Solving Systems of Polynomial Inequalities in Sub-exponential Time. Journal of Symbolic Computation 5, 37–64 (1988)CrossRefMathSciNetzbMATHGoogle Scholar
  18. 18.
    Aubry, P., Rouillier, F., Safey El Din, M.: Real Solving for Positive Dimensional Systems. Journal of Symbolic Computation 34, 543–560 (2002)CrossRefMathSciNetzbMATHGoogle Scholar
  19. 19.
    Rademacher, H.: On the Partition Function p(n). Proc. London Math. Soc. 43, 241–254 (1937)CrossRefzbMATHGoogle Scholar
  20. 20.
    Basu, S., Pollack, R., Roy, M.-F.: Algorithms in Real Algebraic Geometry. Springer, Heidelberg (2003)zbMATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Songxin Liang
    • 1
  • David J. Jeffrey
    • 1
  1. 1.Department of Applied MathematicsThe University of Western OntarioLondonCanada

Personalised recommendations