A complete discrimination system for polynomials

Science in China, Series E: Technological Sciences

Volumn 39, Issue 6, 1996, Pages

  Yang, Lu ^a   Hou, Xiaorong ^a   Zeng, Zhenbing ^a  

^a CHENGDU INSTITUTE OF COMPUTER APPLICATIONS   (China)

Author keywords

Complete discrimination system; Discriminant sequence; Revised sign list; Root classification

Indexed keywords

EID: 1542787296     PISSN: 10069321     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (11)

1. Arnon, D. S., Geometric reasoning with logic and algebra, Artificial Intelligence, 1988, 37: 37.
2. Arnon, D. S., Mignotte, M., On mechanical quantifier elimination for elementary algebra and geometry, J. Symbolic Computation, 1988, 5: 237.
3. Arnon, D. S., Smith, S., Towards a mechanical solution of the Kahan ellipse problem I, Proc. EUROCAL'83, LNCS 162, Berlin: Springer-Verlag, 1983, 36-44.
4. Collins, G. E., Hong, H., Partial cylindrical algebraic decomposition for quantifier elimination, J. Symbolic Computation, 1991, 12: 299.
5. Lazard, D., Quantifier elimination: optimal solution for two classical examples, J. Symbolic Computations, 1988, 5: 261.
6. Mignotte, M., Computer versus paper and pencil, Proc. CALSIF, 1986, 4: 63.
7. Char, B. W., Geddes, K. O., Gonnet, G. H. et al., Maple V Library Reference Manual, Berlin: Springer-Verlag, 1991.
8. Yang, L., Hou, X. R., Zeng, Z. B., An alternative algorithm for determining the number of real roots of a polynomial, International Workshop on Logic and Software Engineering, Beijing, Singapore: World Scientific, 1996.
9. Yang, L., Zhang, J. Z., Hou, X. R., Non-Linear Equation Systems and Automated Theorem Proving (in Chinese), Shanghai: Shanghai Press of Science, Technology and Education, 1996.
10. Loos, R., Generalized polynomial remainder sequence, in Computer Algebra: Symbolic and Algebraic Computation, Berlin: Springer-Verlag, 1983, 115-137.
11. Robinson, R. M., Some definite polynomials which are not sums of squares of real polynomials, Notice Amer. Math. Soc., 1969, 16: 554.