Decomposing polynomial systems into simple systems

Journal of Symbolic Computation

Volumn 25, Issue 3, 1998, Pages 295-314

  Wang, Dongming ^a  

^a Institut IMAG   (France)

Author keywords

[No Author keywords available]

Indexed keywords

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

References (17)

1. Bronstein, M. (1986). Gsolve: A faster algorithm for solving systems of algebraic equations. In B. W. Char (ed.), Proceedings SYMSAC '86, pp. 247-249, New York: ACM Press.
2. Brown, W. S. (1978). The subresultant p.r.s. algorithm. ACM Trans. Math. Softw. 4, 237-249.
3. Brown, W. S., Traub, J. F. (1971). On Euclid's algorithm and the theory of subresultants. J. ACM 18, 505-514.
4. Buchberger, B. (1985). Gröbner bases: An algorithmic method in polynomial ideal theory. In N. K. Bose (ed.), Multidimensional Systems Theory, pp. 184-232, Dordrecht: D. Reidel.
5. Collins, G. E. (1967). Subresultants and reduced polynomial remainder sequences. J. ACM 14, 128-142.
6. Kalkbrener, M. (1993). A generalized Euclidean algorithm for computing triangular representations of algebraic varieties. J. Symbol. Comput. 15, 143-167.
7. Lazard, D. (1991). A new method for solving algebraic systems of positive dimension. Discrete Appl. Math. 33, 147-160.
8. Loos, R. (1983). Generalized polynomial remainder sequences. In B. Buchberger, G. E. Collins and R. Loos (eds), Computer Algebra: Symbolic and Algebraic Computation, pp. 115-137. Wien: Springer.
9. Mishra, B. (1993). Algorithmic Algebra, New York: Springer.
10. Noonburg, V. W. (1989). A neural network modeled by an adaptive Lotka-Volterra system. SIAM J. Appl. Math. 49, 1779-1792.
11. Ritt, J. F. (1950). Differential Algebra. New York: American Mathematical Society.
12. Thomas, J. M. (1937). Differential Systems. New York: American Mathematical Society.
13. Thomas, J. M. (1946). Division sequence. Duke Math. J. 13, 459-469.
14. Wang, D. (1993). An elimination method for polynomial systems. J. Symbol. Comput. 16, 83-114.
15. Wu, W.-T. (1984). Basic principles of mechanical theorem proving in elementary geometries. J. Sys. Sci. & Math. Sci. 4, 207-235.
16. Wu, W.-T. (1986). On zeros of algebraic equations - An application of Ritt principle. Kexue Tongbao 31, 1-5.
17. Wu, W.-T. (1990). On a projection theorem of quasi-varieties in elimination theory. Chinese Ann. Math. Ser. B 11(2), 220-226.