Recent advances on determining the number of real roots of parametric polynomials

Journal of Symbolic Computation

Volumn 28, Issue 1-2, 1999, Pages 225-242

  Lu, Yang ^a  

^a CHENGDU INSTITUTE OF COMPUTER APPLICATIONS   (China)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0010223906     PISSN: 07477171     EISSN: None     Source Type: Journal    
DOI: 10.1006/jsco.1998.0274     Document Type: Article

References (20)

1. Arnon, D.S. (1988). Geometric reasoning with logic and algebra. Artif. Intell., 37, 37-60.
2. Arnon, D.S., Mignotte, M. (1988). On mechanical quantifier elimination for elementary algebra and geometry. J. Symb. Comput., 5, 237-260.
3. Arnon, D.S., Smith, S. (1983). Towards a mechanical solution of the Kahan ellipse problem I. In Proceedings of EUROCAL'83, LNCS 162, pp. 36-44. New York, Springer.
4. Char, B.W. et al. (1991). Maple V Library Reference Manual. New York, Springer.
5. Collins, G.E., Hong, H. (1991). Partial cylindrical algebraic decomposition for quantifier elimination. J. Symb. Comput., 12, 299-328.
6. Gantmacher, F.R. (1959). Matrix Theory. New York, Chelsea Publishing Company.
7. Gonzalez-Vega, L. (1998). A combinatorial algorithm solving some quantifier elimination problems. In Caviness, B. F. and Johnson, J. R., eds, Quantifier Elimination and Cylindrical Algebraic Decomposition, pp. 365-375. New York, Springer.
8. Gonzalez-Vega, L., Lombardi, H., Recio, T., Roy, M.-F. (1989). Sturm-Habicht sequence. In Proceedings of ISSAC'89, pp. 136-146. New York, ACM Press.
9. Gonzalez-Vega, L., Recio, T., Lombardi, H., Roy, M.-F. (1998). Sturm-Habicht sequence, determinants and real roots of univariate polynomials. In Caviness, B. F. and Johnson, J. R., eds, Quantifier Elimination and Cylindrical Algebraic Decomposition, pp. 300-316. New York, Springer.
10. Habicht, W. (1948). Eine Verallgemeinerung des Sturmschen Wurzelzählverfahrens. Comm. Math. Helv., 21, 99-116.
11. Lazard, D. (1988). Quantifier elimination: optimal solution for two classical examples. J. Symb. Comput., 5, 261-266.
12. Liang, S.X., Zhang, J.Z. (1999) A complete discrimination system for polynomials with complex coeffi-cients and its automatic generation. Sci. China E, 42. To appear.
13. Loos, R. (1983). Generalized polynomial remainder sequence. In Buchberger, B. et al., eds, Computer Algebra: Symbolic and Algebraic Computation, pp. 115-137. New York, Springer.
14. Roy, M.-F. (1996). Basic algorithms in real geometry and their complexity: from Sturm's theorem to the existential theory of reals. In Broglia, F., ed., Lectures in Real Geometry, De Gruyter Expositions in Mathematics 23, pp. 1-68. Walter De Gruyter.
15. Weispfenning, V. (1994). Quantifier elimination for real algebra - the cubic case. In Proceedings of IS-SAC'94, pp. 258-263. New York, ACM Press.
16. Wu, W.T. (1992). On problems involving inequalities. MM Research Preprints, 7, 1-13.
17. Yang, L., Hou, X.R., Zeng, Z.B. (1996). A complete discrimination system for polynomials. Sci. China E, 39, 628-646.
18. Yang, L., Xia, B.C. (1997). Explicit criterion to determine the number of positive roots of a polynomial. MM Research Preprints, 15, 134-145.
19. Yang, L., Zhang, J.Z., Hou, X.R. (1996). Non-linear Equation Systems and Automated Theorem Proving (in Chinese). Shanghai Press of Science, Technology and Education, Shanghai.
20. Zou, F.M. (1997). Applications of the characteristic set method in celestial motions and invariant theory. Ph. D. Thesis, pp. 60-66. Institute of Systems Science, Academia Sinica, Beijing.