Computing Triangular Systems and Regular Systems

Journal of Symbolic Computation

Volumn 30, Issue 2, 2000, Pages 221-236

  Wang, Dongming ^a  

^a Laboratoire Leibniz   (France)

Author keywords

[No Author keywords available]

Indexed keywords

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

References (13)

1. Aubry P., Lazard D., Moreno Maza M. On the theories of triangular sets. J. Symb. Comput. 28:1999;105-124.
2. Gao X.-S., Chou S.-C. On the dimension of an arbitrary ascending chain. Chinese Sci. Bull. 38:1993;799-804.
3. Kalkbrener M. A generalized Euclidean algorithm for computing triangular representations of algebraic varieties. J. Symb. Comput. 15:1993;143-167.
4. Lazard D. A new method for solving algebraic systems of positive dimension. Discrete Appl. Math. 33:1991;147-160.
5. Mishra B. Algorithmic Algebra. 1993;Springer, New York.
6. Wang D. An elimination method for polynomial systems. J. Symb. Comput. 16:1993;83-114.
7. Wang D. Decomposing polynomial systems into simple systems. J. Symb. Comput. 25:1998a;295-314.
8. Wang D. Unmixed and prime decomposition of radicals of polynomial ideals. ACM SIGSAM Bull. 32 (4):1998b;2-9.
9. Wang D. Elimination Methods. 2000;Springer, Wien.
10. Wu W.-t. A zero structure theorem for polynomial equations-solving. Math. Mech. Res. Preprints. 1:1987;2-12.
11. Wu W.-t. Mechanical Theorem Proving in Geometries: Basic Principles. 1994;Springer, Wien.
12. Yang L., Zhang J.-Z. Searching dependency between algebraic equations: an algorithm applied to automated reasoning. Johnson J., McKee S., Vella A. Artificial Intelligence in Mathematics. 1994;147-156 Clarendon Press, Oxford.
13. Zhang J.-Z., Yang L., Hou X.-R. A criterion for dependency of algebraic equations with applications to automated theorem proving. Sci. China (Ser. A). 37:1994;547-554.