Elimination Theory for Differential Difference Polynomials

Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC

Volumn , Issue , 2003, Pages 191-198

  Mansfield, E L ^a   Szanto, A ^b  

^a UNIVERSITY OF KENT   (United Kingdom)

^b NORTH CAROLINA STATE UNIVERSITY   (United States)

Author keywords

Difference equation; Differential polynomial; Gr bner basis; Ore algebra

Indexed keywords

ALGORITHMS; COMPUTATION THEORY; DIFFERENCE EQUATIONS; FUNCTIONS; LINEAR ALGEBRA; MATHEMATICAL OPERATORS;

DIFFERENTIAL POLYNOMIALS; GRÖBNER BASIS; ORE ALGEBRA;

POLYNOMIALS;

EID: 1542300112     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/860854.860897     Document Type: Conference Paper

References (23)

1. J. Apel. Computational ideal theory in finitely generated extension rings. Theoretical Computer Science, 244(1-2):1-33, 2000.
2. J. Apel and W. Lassner. An extension of Buchberger's algorithm and calculations in enveloping fields of Lie algebras. Journal of Symbolic Computation, (6):361-370, 1988.
3. F. Baader. Unification in commutative theories, Hilbert's basis theorem and Gröbner bases. In Proc. 3rd UNIF'89, 1989.
4. A. D. Bell and K. D. Goodearl. Uniform rank over differential operator rings and Poincaré-Birkhoff-Witt extensions. Pacific Journal of Mathematics, 131(1):13-37, 1988.
5. F. Chyzak and B. Salvy. Non-commutative elimination in Ore algebras proves multivariate identities. Journal of Symbolic Computation, 26(2):187-227, 1998.
6. D. Cox, J. Little, and D. O'Shea. Ideals, varieties, and algorithms. Springer, 1997.
7. D. Eisenbud. Commutative algebra with a view toward algebraic geometry. Springer, 1999.
8. A. Galligo. Some algorithmic questions on ideals of differential operators. In Proc. EUROCAL'85, Incs 204, pages 413-421. Springer, 1985.
9. M. Giesbrecht, G. Reid, and Y. Zhang. Non-commutative Gröbner bases in Poincaré-Birkhoff-Witt extensions. In Conference on Computer Algebra and Scientific Computation (CASC'2002), pages 97-106, 2002.
10. E. Green. An introduction to non-commutative Gröbner bases. In K. D. Fisher, editor, Computational Algebras, Lecture Notes in Pure and Applied Mathematics 151, pages 167-190. Dekker, New York.
11. P. Hydon. Symmetries and first integrals of ordinary difference equations. Proceedings of the Royal Society of London, (A 456):2835-2855, 2000.
12. M. Insa and F. Pauer. Grlöbner bases in rings of differential operators. In B. Buchberger and F. Winkler, editors, Gröbner bases and applications, LMS Lecture Notes series 251, pages 367-381. Cambridge University Press, 1998.
13. A. Kandri-Rody and V. Weispfenning. Non-commutative Gröbner bases in algebras of solvable type. Journal of Symbolic Computation, (9): 1-26, 1990.
14. H. Kredel. Solvable Polynomial Rings. Verlag Shaker, Aachen., 1993.
15. S. Mac Lane. Homology. Springer-Verlag, 1963.
16. K. Madiener and B. Reinert. Computing Gröbner bases in monoid and group rings. In Proc. ISSAC'95, pages 254-263. ACM, 1993.
17. E. L. Mansfield and P. A. Clarkson. Applicatioms of the differential algebra package diffgob2 to classical symmetries of differential equations. Journal of Symbolic Computation, 23:517-533, 1997.
18. T. Mora. Gröbner bases for non-commutative polynomial rings. In Proc. AAECC-S, volume 229 of Lecture Notes in Computer Science, pages 353-362. Springer, 1985.
19. T. Mora. Standard bases and non-Noetherianity: non-commutative polynomial rings. In Proc. AAECC-4, volume 307 of Lecture Notes in Computer Science, pages 98-109. Springer, 1987.
20. T. Mora. Gröbner bases in non-commutative algebras. In ISSAC'88, volume 359 of Lecture Notes in Computer Science, pages 150-161. Springer, 1988.
21. T. Mora. An introduction to commutative and non-commutative Gröbner bases. Theor. Comp. Sci., (134):131-173, 1994.
22. A. Rosenmann. An algorithm for constructing Gröbner and free Schreier bases in free group algebras. Journal of Symbolic Computation, (16):523-549, 1993.
23. V. Weispfenning. Finite Gröbner bases in non-Noetherian skew polynomial rings. In Proc. ISSAC'92, pages 329-334. ACM, 1992.