A characteristic set method for ordinary difference polynomial systems

Journal of Symbolic Computation

Volumn 44, Issue 3, 2009, Pages 242-260

  Gao, Xiao Shan ^a   Luo, Yong ^a   Yuan, Chunming ^a  

^a INSTITUTE OF SYSTEMS SCIENCE   (China)

Author keywords

Ascending chain; Automated theorem proving; Characteristic set; Coherence; Difference polynomial; Irreducibility; Zero decomposition theorem

Indexed keywords

EID: 60249088243     PISSN: 07477171     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jsc.2007.05.005     Document Type: Article

References (30)

1. Aubry P., Lazard D., and Maza M.M. On the theory of triangular sets. J. Symbolic Comput. 25 (1999) 105-124
2. Boulier F., Lazard D., Ollivier F., and Petitiot M. Representation for the radical of a finitely generated differential ideal. Proc. of ISSAC'95 (1995), ACM Press 158-166
3. Bouziane D., Kandri Rody A., and Maârouf H. Unmixed-dimensional decomposition of a finitely generated perfect differential ideal. J. Symbolic Comput. 31 (2001) 631-649
4. Chou S.C., and Gao X.S. Automated reasoning in differential geometry and mechanics using the characteristic set method, Part I. An improved version of Ritt-Wu's decomposition algorithm. J. Automat. Reason. 10 (1993) 161-172
5. Chyzak F., and Salvy B. Non-commutative elimination in Ore algebras proves multivariate indentities. J. Symbolic Comput. 26 (1998) 187-227
6. Cohn R.M. Manifolds of difference polynomials. Trans. AMS 64 (1948) 133-172
7. Cohn R.M. Difference Algebra (1965), Interscience Publishers
8. Dahan X., and Schost E. Sharp estimates for triangular sets. Proc. of ISSAC'04 (2004), ACM Press, New York 103-110
9. Gallo G., and Mishra B. Efficient Algorithms and Bounds for Wu-Ritt Characteristic Sets. Progress in Mathematics vol. 94 (1991), Birkhauser 119-142
10. Gao X.S., and Chou S.C. The dimension of ascending chains. Chinese Sci. Bull. 38 5 (1993) 396-399
11. Hubert E. Factorization-free decomposition algorithms in differential algebra. J. Symbolic Comput. 29 (2000) 641-662
12. Kalkbrener M. A generalized Euclidean algorithm for computing triangular representations of algebraic varieties. J. Symbolic Comput. 15 (1993) 143-167
13. Kolchin E. Differential Algebra and Algebraic Groups (1973), Academic Press, New York
14. Lazard D. A new method for solving algebraic systems of positive dimension. Discrete Appl. Math. 33 (1991) 147-160
15. Li Z., and Wang D.M. Coherent, regular and simple systems in zero decomposition of partial differential systems. J. Systems Sci. Math. Sci. 12 (1999) 43-60
16. Mallinger, C., 1996. Algorithmic manipulations and transformations of univariate holonomic functions and sequence. Master Thesis, RISC-Linz
17. Mansfield E.L., and Szanto A. Elimination theory for differential difference polynomials. Proc. ISSAC,02 (2002), ACM Press, New York 191-198
18. Reid G. Algorithms for reducing a system of PDEs to standard form. European J. Appl. Math. 2 (1991) 293-318
19. Ritt J.F., and Doob J.L. Systems of algebraic difference equations. Amer. J. Math. 55 (1933) 505-514
20. Ritt, J.F., 1950. Differential algebra, Amer. Math. Soc. Colloquium
21. Rosenfeld A. Specialization in differential algebra. Trans. AMS 90 (1959) 394-407
22. Seidenberg A. An elimination theory for differential algebra. Univ. California Publication in Math. 3 (1956) 31-65
23. Takayama N. Gröbner basis, integration and transcendental functions. Proc. of ISSAC'90 (1990), ACM Press, New York 152-156
24. van der Hoeven, J., 1996. Differential and mixed differential-difference equations from the effective viewpoint, Preprints
25. Wang D. Elimination Methods (2000), Springer, Berlin
26. Wu W.T. On the decision problem and the mechanization of theorem in elementary geometry. Scientia Sinica 21 (1978) 159-172
27. Wu W.T. A Constructive Theorey of Differential Algebraic Geometry. Lect. Notes in Math. No. 1255 (1987), Springer 173-189
28. Wu W.T. Basic Principle of Mechanical Theorem Proving in Geometries (1984), Science Press, Beijing (in Chinese), Springer, Wien, 1994
29. Yang L., Zhang J.Z., and Hou X.R. Non-linear Algebraic Equations and Automated Theorem Proving (1996), ShangHai Science and Education Pub., ShangHai (in Chinese)
30. Zeilberger D. A holonomic systems approach to special function identities. J. Comput. Appl. Math. 32 (1990) 321-368