Univariate Ore polynomial rings in computer algebra

Journal of Mathematical Sciences

Volumn 131, Issue 5, 2005, Pages 5885-5903

  Abramov, S A ^a   Le, H Q ^b   Li, Z ^b  

^a DORODNICYN COMPUTING CENTER   (Russian Federation)

^b UNIVERSITY OF WATERLOO   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 27644495593     PISSN: 10723374     EISSN: 15738795     Source Type: Journal    
DOI: 10.1007/s10958-005-0449-8     Document Type: Article

References (30)

1. S. A. Abramov, "Rational solutions of linear difference and differential equations with polynomial coefficients," USSR Comput. Maths. Math. Phys., 29, 7-12 (1989).
2. S. A. Abramov, J. C. Carette, K. O. Geddes, and H. Q. Le, Symbolic Summation in Maple, Technical Report CS-2002-32, School of Computer Science, University of Waterloo, Ontario, Canada (2002).
3. S. A. Abramov, M. van Hoeij, "Integration of solutions of linear functional equations," Integral Transform. Spec. Funct., 8, Nos. 1-2, 3-12 (1999).
4. S. A. Abramov, H. Q. Le, and Ziming Li. OreTools: A computer algebra library for univariate Ore polynomial rings, Technical Report CS-2003-12, School of Computer Science, University of Waterloo, Ontario, Canada (2003).
5. S. A. Abramov and E. V. Zima, "Minimal completely factorable annihilators," in: Proc. 1997 Int. Symp. Symbolic and Algebraic Computation (W. Küchlin, Ed.), ACM Press (1998), pp. 290-297.
6. S. A. Abramov and E. V. Zima, D'Alembertian solutions of inhomogeneous linear equations (differential, difference, and some other)," in: Proc. 1996 Int. Symp. Symbolic and Algebraic Computation (Y. N. Lakshman, Ed.), ACM Press (1997), pp. 232-240.
7. S. A. Abramov and E. V. Zima, "A universal program to uncouple linear systems," in: Proc. Int. Conf. Computational Modeling and Computing in Physics, Sept. 16-21, 1996, Dubna, Russia (1997), pp. 16-26.
8. M. Bronstein and M. Petkovšek, "An introduction to pseudo-linear algebra," Theor. Comput. Sci., 157, 3-33 (1996).
9. F. Chyzak and B. Salvy, "Noncommutative elimination in Ore algebras proves multivariate identities," J. Symbolic Comput., 26, No. 2, 187-227 (1998).
10. P. M. Cohn, Free Rings and Their Relations, Academic Press (1971).
11. P. M. Cohn, Skew Fields. Theory of General Division Rings, Encycl. Math. Its Appl., 57 Cambridge Univ. Press (1995).
12. p(t)," in: Proc. 2003 Int. Symp. Symbolic and Algebraic Computation (to appear).
13. P. E. Glotov, "An algorithm of searching for the greatest common divisor for Ore polynomials with polynomial coefficients depending on a parameter," in: Program. Comput. Software, 24 No. 6, 275-283 (1998).
14. R. W. Gosper, "Decision procedure for indefinite hypergeometric summation," Proc. Natl. Acad. Sci. USA, 75, 40-42 (1978).
15. J. van der Hoeven, "FFT-like multiplication of linear differential operators," J. Symbolic Comput., 33, No. 1, 123-127 (2002).
16. N. Jacobson, "Pseudo-linear transformations," Ann. Math., 38, No. 2, 484-507 (1937).
17. E. Landau, "Über irreduzible Differentialgleichungen," J. Reine Angew. Math., 124 115-120 (1902).
18. H. Q. Le, "A direct algorithm to construct the minimal Z-pairs for rational functions," Adv. Appl. Math., 30, 137-159 (2003).
19. Z. Li, "A subresultant theory for ore polynomials with applications," in: Proc. Int. Symp. Symbolic and Algebraic Computation, 1998 (O. Gloor, Ed.), ACM Press (1998), pp. 132-139.
20. Z. Li and I. Nemes, "A modular algorithm for computing greatest common right divisors of Ore polynomials," in: Proc. Int. Symp. Symbolic and Algebraic Computation, 1997 (W. Küchlin, Ed.), ACM Press (1997), pp. 282-289.
21. A. Loewy, "Über reduzible lineare homogene Differentialgleichungen," Math. Ann., 56, 549-584 (1903).
22. A. Loewy, "Über vollstandig reduzible lineare homogene Differentialgleichungen," Math. Ann., 62 89-117 (1906).
23. M. B. Monagan, K. O. Geddes, K. M. Heal, G. Labahn, S. M. Vorkoetter, J. McCarron, and P. De Marco, Maple 8 Introductory Programming Guide, Waterloo Maple Inc., Waterloo, Ontario, Canada (2002).
24. O. Ore, "Theory of noncommutative polynomials," Ann. Math., 34, 480-508 (1933).
25. O. Ore, "Formale Theorie der linearen Differentialgleichungen, I," J. Reine Angew. Math., 167, 221-234 (1932).
26. O. Ore, "Formale Theorie der linearen Differentialgleichungen, II," J. Reine Angew. Math., 1, 233-252 (1932).
27. E. G. C. Poole, Introduction to the Theory of Linear Ordinary Differential Equations, Dover Publications Inc., New York (1936).
28. M. Petkovšek, "Hypergeometric solutions of linear recurrences with polynomial coefficients," J. Symbolic Comput., 14 243-264 (1992).
29. A. Ryabenko, "A Maple package for the symbolic construction of power series solutions to linear ordinary differential equations," Program. Comput. Software, 25 No. 5, 296-305 (1999).
30. J. H. M. Wedderburn, "Noncommutative domains of integrity," J. Reine Angew. Math., 167, 129-141 (1932).