论文信息 - Real Zeros of Polynomials

Real Zeros of Polynomials

Let A be a polynomial over Z, Q or Q(α) where α is a real algebraic number. The problem is to compute a sequence of disjoint intervals with rational endpoints, each containing exactly one real zero of A and together containing all real zeros of A. We describe an algorithm due to Kronecker based on the minimum root Separation, Sturm’s algorithm, an algorithm based on Rolle’s theorem due to Collins and Loos and the modified Uspensky algorithm due to Collins and Aritas. For the last algorithm a recursive version with correctness proof is given which appears in print for the first time.

G. E. Collins | R. Loos | G. Collins

[1] L. Kronecker,et al. Ueber den Zahlbegriff. , 1887 .

[2] D. Hilbert,et al. Über homogene Functionen. , 1900 .

[3] L. Zoretti. Sur la résolution des équations numériques , 1909 .

[4] H. Weyl. Randbemerkungen zu Hauptproblemen der Mathematik , 1924 .

[5] T. A. Brown,et al. Theory of Equations. , 1950, The Mathematical Gazette.

[6] Donald Ervin Knuth,et al. The Art of Computer Programming , 1968 .

[7] Peter Henrici,et al. Constructive aspects of the fundamental theorem of algebra : proceedings of a symposium conducted at the IBM Research Laboratory, Zürich-Rüschlikon, Switzerland, June 5-7, 1967 , 1972 .

[8] Peter Henrici,et al. Methods of Search for Solving Polynomial Equations , 1969, JACM.

[9] L. E. Heindel. Integer Arithmetic Algorithms for Polynomial Real Zero Determination , 1971, JACM.

[10] Ellis Horowitz,et al. The minimum root separation of a polynomial , 1974 .

[11] George E. Collins,et al. Quantifier elimination for real closed fields by cylindrical algebraic decomposition , 1975 .

[12] Alkiviadis G. Akritas,et al. Polynomial real root isolation using Descarte's rule of signs , 1976, SYMSAC '76.

[13] James R. Pinkert,et al. An Exact Method for Finding the Roots of a Complex Polynomial , 1976, TOMS.

[14] Rüdiger Loos,et al. Polynomial real root isolation by differentiation , 1976, SYMSAC '76.

[15] G. E. Collins. Infallible Calculation of Polynomial Zeros to Specified Precision , 1977 .