E. Asarin, Piecewise-constant derivative systems and their algorithmic properties, Algorithms Seminar B. Salvy, Éd., no. 2381 in Rapport de recherche Inria, pp.133-136, 1993.

A. Péladan-germa, Effective identity testing in extensions of differential fields, Algorithms Seminar B. Salvy, Éd., no. 2669 in Rapport de recherche Inria, pp.47-50, 1994.

M. Petkov?ek, Polynomial solutions of linear operator equations, Algorithms Seminar B. Salvy, Éd., no. 2669 in Rapport de recherche Inria, pp.31-34, 1994.

J. Shackell, On a problem of Rubel, Algorithms Seminar B. Salvy, Éd., no. 2992 in Rapport de recherche Inria, pp.59-62, 1995.

K. Compton, A zero-one law for maps, Algorithms Seminar B. Salvy, Éd., no. 2992 in Rapport de recherche Inria, pp.19-22, 1995.

J. Weil, Absolute factorization of differential operators, Algorithms Seminar B. Salvy, Éd., no. 3267 in Rapport de recherche Inria, pp.33-36, 1996.

J. Shackell, Differential equations, nested forms and star products, Algorithms Seminar B. Salvy, Éd., no. 3267 in Rapport de recherche Inria, pp.41-44, 1996.

S. Abramov, M. Et-van-hoeij, and . Usa-), A method for the integration of solutions of Ore equations, Proceedings of the 1997 international symposium on Symbolic and algebraic computation , ISSAC '97, pp.172-175, 1997.
DOI : 10.1145/258726.258774

S. A. Abramov, Problems in computer algebra that are connected with a search for polynomial solutions of linear differential and difference equations, Moscow Univ. Comput. Math. Cybernet, vol.3, pp.63-68, 1989.

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.1611-1620, 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. Et-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 K. Y. Et-kvashenko, Fast algorithms to search for the rational solutions of linear differential equations with polynomial coefficients, Proceedings of the 1991 international symposium on Symbolic and algebraic computation , ISSAC '91, pp.267-270, 1991.
DOI : 10.1145/120694.120735

S. A. Abramov and E. V. Et-zima, A universal program to uncouple linear systems, Proceedings of CMCP'96 (International Conference on Computational Modeling and Computing in Physics, pp.16-26, 1996.

M. Abramowitz and I. A. Et-stegun, Handbook of Mathematical Functions, American Journal of Physics, vol.34, issue.2, 1973.
DOI : 10.1119/1.1972842

G. Almkvist and D. Et-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

G. E. Andrews, An Analytic Generalization of the Rogers-Ramanujan Identities for Odd Moduli, Proceedings of the National Academy of Sciences of the USA 71, pp.4082-4085, 1974.
DOI : 10.1073/pnas.71.10.4082

G. E. Andrews, The Theory of Partitions, de Encyclopedia of Mathematics and its Applications, 1976.
DOI : 10.1017/CBO9780511608650

G. Andrews, Multiple series Rogers-Ramanujan type identities, Pacific Journal of Mathematics, vol.114, issue.2, pp.267-283, 1984.
DOI : 10.2140/pjm.1984.114.267

G. Andrews, q-Series: their Development and Application in Analysis, Number Theory, Combinatorics, Physics, and Computer Algebra, CBMS Regional Conference Series in Mathematics. Publié pour le Conference Board of the Mathematical Sciences, 1986.
DOI : 10.1090/cbms/066

R. Askey, The world of q, CWI Quarterly, vol.5, issue.4, pp.251-270, 1992.

M. J. Atallah, F. Chyzak, and P. Et-dumas, An algorithm for estimating all matches between two strings, Institut National de Recherche en Informatique et en Automatique, 1997.
URL : https://hal.archives-ouvertes.fr/inria-00073495

M. A. Barkatou, An efficient algorithm to compute the rational solutions of systems of linear differential equations

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.109, issue.3, pp.185-195, 1993.
DOI : 10.1007/BF01202037

D. Bayer and M. Et-stillman, Computation of Hilbert functions, Journal of Symbolic Computation, vol.14, issue.1, pp.31-50, 1992.
DOI : 10.1016/0747-7171(92)90024-X

T. Becker and V. Et-weispfenning, Groebner bases. A computational approach to commutative algebra de Graduate texts in mathematics, 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, pp.1-16, 1971.

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

J. Björk, Rings of Differential Operators, North Holland P. C, 1979.

. Borel, de Perspectives in Mathematics, A. Algebraic D-Modules, vol.2, 1987.

M. Bronstein and M. Et-petkov?ek, On Ore rings, linear operators and factorisation, Programmirovanie, vol.1, pp.27-44, 1994.

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

B. Buchberger, Ein Algorithmus zum Auffinden der Basiselemente des Restklassenringes nach einem nulldimensionalen Polynomideal, Thèse, 1965.

B. Buchberger, Ein algorithmisches Kriterium f??r die L??sbarkeit eines algebraischen Gleichungssystems, Aequationes Mathematicae, vol.95, issue.3, pp.374-383, 1970.
DOI : 10.1007/BF01844169

B. Buchberger, Gröbner bases: an algorithmic method in polynomial ideal theory In Recent trends in multidimensional system theory, pp.184-232, 1985.

B. Buchberger, B. Buchberger, and F. Winkler, Introduction to Groebner Bases, Groebner Bases and Applications (Proc. of the Conference 33 Years of Gröbner Bases), 1998.
DOI : 10.1007/978-3-642-59048-1_2

B. Buchberger and F. Et-winkler, Miscellaneous results on the construction of Gröbner bases for polynomial ideals, 1979.

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

P. Cartier, Démonstration " automatique " d'identités et fonctions hypergéométriques, Astérisque, vol.206, pp.41-91, 1992.

F. Chyzak, An extension of Zeilberger's fast algorithm to general holonomic functions, Formal Power Series and Algebraic Combinatorics, 9th Conference, pp.172-183, 1997.
DOI : 10.1016/S0012-365X(99)00259-9

F. Chyzak and B. Et-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 London Mathematical Society Student Texts, 1995.

D. Cox, J. Little, and D. Shea, Ideals, Varieties, and Algorithms, 1992.

F. Ehlers, The Weyl Algebra de Perspectives in Mathematics, pp.173-205, 1987.

S. B. Ekhad and J. E. Et-majewicz, A short WZ-style proof of Abel's identity The Foata Festschrift, The Electronic Journal of Combinatorics, vol.3, issue.2, 1996.

A. Erdélyi, Higher Transcendental Functions, pp.2-3, 1981.

M. C. Fasenmyer, Some generalized hypergeometric polynomials, Bulletin of the American Mathematical Society, vol.53, issue.8, 1945.
DOI : 10.1090/S0002-9904-1947-08893-5

M. C. Fasenmyer, Some generalized hypergeometric polynomials, Bulletin of the American Mathematical Society, vol.53, issue.8, pp.806-812, 1947.
DOI : 10.1090/S0002-9904-1947-08893-5

M. C. Fasenmyer, A Note on Pure Recurrence Relations, The American Mathematical Monthly, vol.56, issue.1, pp.14-17, 1949.
DOI : 10.2307/2305810

J. Faugère, Résolution de systèmes d'équations algébriques, Thèse, 1994.

J. Faugère, P. Gianni, D. Lazard, and T. Et-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

P. Flajolet and R. Et-sedgewick, The average case analysis of algorithms: Complex asymptotics and generating functions, Institut National de Recherche en Informatique et en Automatique, 1993.
URL : https://hal.archives-ouvertes.fr/inria-00074645

P. Flajolet and R. Et-sedgewick, The average case analysis of algorithms: Counting and generating functions, Institut National de Recherche en Informatique et en Automatique, 1993.
URL : https://hal.archives-ouvertes.fr/inria-00074784

P. Flajolet and R. Et-sedgewick, The average case analysis of algorithms: Saddle point asymptotics, Institut National de Recherche en Informatique et en Automatique, 1994.
URL : https://hal.archives-ouvertes.fr/inria-00074300

A. Galligo, Some algorithmic questions on ideals of differential operators, Comptes rendus, pp.413-421, 1985.
DOI : 10.1007/3-540-15984-3_301

K. O. Geddes, S. R. Czapor, and G. Et-labahn, Algorithms for Computer Algebra, 1992.
DOI : 10.1007/b102438

A. Giovini, T. Mora, G. Niesi, L. Robbiano, and C. Et-traverso, ???One sugar cube, please??? or selection strategies in the Buchberger algorithm, Proceedings of the 1991 international symposium on Symbolic and algebraic computation , ISSAC '91, pp.49-54, 1991.
DOI : 10.1145/120694.120701

M. L. Glasser and E. Et-montaldi, Some Integrals Involving Bessel Functions, Journal of Mathematical Analysis and Applications, vol.183, issue.3, pp.577-590, 1994.
DOI : 10.1006/jmaa.1994.1164

B. Gordon, A Combinatorial Generalization of the Rogers-Ramanujan Identities, American Journal of Mathematics, vol.83, issue.2, pp.393-399, 1961.
DOI : 10.2307/2372962

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

A. Kandri-rody and V. Et-weispfenning, Non-commutative Gr??bner bases in algebras of solvable type, Journal of Symbolic Computation, vol.9, issue.1, pp.1-26, 1990.
DOI : 10.1016/S0747-7171(08)80003-X

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

M. Kashiwara, On the holonomic systems of linear differential equations, II, Inventiones Mathematicae, vol.38, issue.2, pp.121-135, 1978.
DOI : 10.1007/BF01403082

D. E. Knuth, Fundamental Algorithms, The Art of Computer Programming, 1973.

R. Koekoek and R. F. Et-swarttouw, The Askey-scheme of hypergeometric orthogonal polynomials and its q-analogue. Rapport technique DUT-TWI-94-05, 1994.

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

H. Kredel, Solvable Polynomial Rings Reihe Mathematik. Verlag Shaker D'après la thèse, 1993.
DOI : 10.1007/978-3-319-24021-3_21

D. Lazard, Systems of algebraic equations (algorithms and complexity) Rapport technique 92, LITP, vol.20, 1992.

Z. Li, A subresultant theory for linear ordinary differential polynomials, 1995.

L. Lipshitz, The diagonal of a D-finite power series is D-finite, Journal of Algebra, vol.113, issue.2, pp.373-378, 1988.
DOI : 10.1016/0021-8693(88)90166-4

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
URL : http://doi.org/10.1016/0021-8693(89)90222-6

F. Mora, Groebner bases for non-commutative polynomial rings, Algebraic algorithms and error-correcting codes, pp.353-362, 1985.
DOI : 10.1007/3-540-16776-5_740

T. Mora, Seven variations on standard bases, 1988.

T. Mora, An introduction to commutative and noncommutative Gr??bner bases, Theoretical Computer Science, vol.134, issue.1, pp.131-173, 1994.
DOI : 10.1016/0304-3975(94)90283-6

O. Ore, Linear Equations in Non-Commutative Fields, The Annals of Mathematics, vol.32, issue.3, pp.463-477, 1931.
DOI : 10.2307/1968245

O. Ore, Theory of Non-Commutative Polynomials, The Annals of Mathematics, vol.34, issue.3, pp.480-508, 1933.
DOI : 10.2307/1968173

S. Parnes and S. B. Et-ekhad, A WZ-style proof of Jacobi polynomials' generating function, Discrete Mathematics, vol.110, issue.1-3, pp.263-264, 1992.
DOI : 10.1016/0012-365X(92)90715-R

P. Paule, On identities of the Rogers-Ramanujan type, Journal of Mathematical Analysis and Applications, vol.107, issue.1, pp.255-284, 1985.
DOI : 10.1016/0022-247X(85)90368-3

P. Paule, A note on Bailey's Lemma, Journal of Combinatorial Theory, Series A, vol.44, issue.1, pp.164-167, 1987.
DOI : 10.1016/0097-3165(87)90070-7

P. Paule, The concept of Bailey chains, Actes du Séminaire Lotharingien, pp.53-76, 1988.

P. Paule, Short and easy computer proofs of the Rogers-Ramanujan identities and of identities of similar type, The Electronic Journal of Combinatorics, vol.1, p.10, 1994.