S. A. Abramov, Rational solutions of linear differential and difference equations with polynomial coefficients, USSR Computational Mathematics and Mathematical Physics, vol.29, issue.6, pp.11-1611, 1989.
DOI : 10.1016/S0041-5553(89)80002-3

S. A. Abramov, -difference equations with polynomial coefficients, Proceedings of the 1995 international symposium on Symbolic and algebraic computation , ISSAC '95, pp.285-289, 1995.
DOI : 10.1145/220346.220383

URL : https://hal.archives-ouvertes.fr/hal-01109213

S. A. Abramov, M. Bronstein, and M. Petkov?ek, On polynomial solutions of linear operator equations, Proceedings of the 1995 international symposium on Symbolic and algebraic computation , ISSAC '95, pp.290-296, 1995.
DOI : 10.1145/220346.220384

S. A. Abramov and E. V. Zima, A universal program to uncouple linear systems, Proceedings of CMCP'96 7, Proceedings of the International Conference on Computational Modeling and Computing in Physics, pp.16-21, 1996.

G. Almkvist and D. Zeilberger, The method of differentiating under the integral sign, Journal of Symbolic Computation, vol.10, issue.6, pp.571-591, 1990.
DOI : 10.1016/S0747-7171(08)80159-9

M. A. Barkatou, An algorithm for computing a companion block diagonal form for a system of linear differential equations, Applicable Algebra in Engineering, Communication and Computing, vol.4, pp.185-195, 1993.

I. N. Bernstein, Modules over a ring of differential operators, study of the fundamental solutions of equations with constant coefficients, Functional Analysis and its Applications, Russian, vol.5, issue.2, pp.1-16, 1971.

I. N. Bernstein, The analytic continuation of generalized functions with respect to a parameter, Functional Analysis and its ApplicationsRussian, vol.6, pp.4-1972

J. E. Björk, Rings of Differential Operators (North Holland, 1979.

M. Bronstein and M. Petkov?ek, An introduction to pseudo-linear algebra, Theoretical Computer Science, vol.157, issue.1, p.1, 1996.
DOI : 10.1016/0304-3975(95)00173-5

N. J. Calkin, A curious binomial identity, Discrete Mathematics, vol.131, issue.1-3, pp.1-3, 1994.
DOI : 10.1016/0012-365X(94)90394-8

F. Chyzak and B. Salvy, Non-commutative Elimination in Ore Algebras Proves Multivariate Identities, Journal of Symbolic Computation, vol.26, issue.2, pp.187-227, 1998.
DOI : 10.1006/jsco.1998.0207

URL : https://hal.archives-ouvertes.fr/hal-01069833

P. M. Cohn, Free Rings and Their Relations, 1971.

S. C. Coutinho, A Primer of Algebraic D-modules (No. 33 in, 1995.

J. C. Faugère, P. Gianni, D. Lazard, and T. Mora, Efficient Computation of Zero-dimensional Gr??bner Bases by Change of Ordering, Journal of Symbolic Computation, vol.16, issue.4, pp.329-344, 1993.
DOI : 10.1006/jsco.1993.1051

R. W. Gosper, Decision procedure for indefinite hypergeometric summation, Proceedings of the National Academy of Sciences, vol.75, issue.1, pp.40-42, 1978.
DOI : 10.1073/pnas.75.1.40

M. Karr, Summation in Finite Terms, Journal of the ACM, vol.28, issue.2, pp.305-350, 1981.
DOI : 10.1145/322248.322255

M. Karr, Theory of Summation in Finite Terms, Journal of Symbolic Computation, vol.1, issue.3, pp.303-315, 1985.
DOI : 10.1016/S0747-7171(85)80038-9

T. H. Koornwinder, On Zeilberger's algorithm and its q-analogue, Journal of Computational and Applied Mathematics, vol.48, issue.1-2, pp.91-111, 1993.
DOI : 10.1016/0377-0427(93)90317-5

L. Lipshitz, D-finite power series, Journal of Algebra, vol.122, issue.2, pp.353-373, 1989.
DOI : 10.1016/0021-8693(89)90222-6