S. A. Abramov, Applicability of Zeilberger's algorithm to hypergeometric terms, Proceedings of the 2002 international symposium on Symbolic and algebraic computation , ISSAC '02, pp.1-7, 2002.
DOI : 10.1145/780506.780507

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

T. Becker and V. Weispfenning, Gröbner bases, volume 141 of Graduate Texts in Mathematics A computational approach to commutative algebra, 1993.

Y. C. William, L. H. Chen, and . Sun, Extended Zeilberger's algorithm for identities on Bernoulli and Euler polynomials, 2008.

F. Chyzak, An extension of Zeilberger's fast algorithm to general holonomic functions, Discrete Mathematics, vol.217, issue.1-3, pp.115-134, 2000.
DOI : 10.1016/S0012-365X(99)00259-9

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/inria-00073891

D. Cox, J. Little, and D. O. Shea, Ideals, varieties, and algorithms, 1996.

A. Kandri-rody and V. 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. Kauers, Summation algorithms for Stirling number identities, Journal of Symbolic Computation, vol.42, issue.10, pp.948-970, 2007.
DOI : 10.1016/j.jsc.2007.08.002

M. V. Kondratieva, A. B. Levin, A. V. Mikhalev, and E. V. Pankratiev, Differential and Difference Dimension Polynomials, 1999.
DOI : 10.1007/978-94-017-1257-6

E. John and . Majewicz, WZ-style certification and sister Celine's technique for Abel-type identities, Journal of Difference Equations and Applications, vol.2, pp.55-65, 1996.

N. Takayama, An approach to the zero recognition problem by Buchberger algorithm, Journal of Symbolic Computation, vol.14, issue.2-3, pp.265-282, 1992.
DOI : 10.1016/0747-7171(92)90039-7

K. Wegschaider, Computer generated proofs of binomial multi-sum identities, 1997.

D. Zeilberger, A fast algorithm for proving terminating hypergeometric identities, Discrete Mathematics, vol.80, issue.2, pp.207-211, 1990.
DOI : 10.1016/0012-365X(90)90120-7

D. Zeilberger, A holonomic systems approach to special functions identities, Journal of Computational and Applied Mathematics, vol.32, issue.3, pp.321-368, 1990.
DOI : 10.1016/0377-0427(90)90042-X