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.7-12, 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.273-278, 1995.
DOI : 10.1145/220346.220383
URL : https://hal.archives-ouvertes.fr/hal-01109213

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

S. A. Abramov, When does Zeilberger's algorithm succeed? Adv. in Appl, Math, vol.30, issue.3, pp.424-441, 2003.
DOI : 10.1016/s0196-8858(02)00504-3
URL : http://doi.org/10.1016/s0196-8858(02)00504-3

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 H. Q. Le, Applicability of Zeilberger???s Algorithm to Rational Functions, Formal power series and algebraic combinatorics, pp.91-102, 2000.
DOI : 10.1007/978-3-662-04166-6_8

S. A. Abramov and H. Q. Le, A criterion for the applicability of Zeilberger's algorithm to rational functions, Discrete Mathematics, vol.259, issue.1-3, pp.1-3, 2002.
DOI : 10.1016/S0012-365X(02)00442-9

S. A. Abramov and M. Petkov?ek, On the structure of multivariate hypergeometric terms, Advances in Applied Mathematics, vol.29, issue.3, pp.386-411, 2002.
DOI : 10.1016/S0196-8858(02)00022-2

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

G. E. Andrews, A general theory of identities of the Rogers-Ramanujan type, Bulletin of the American Mathematical Society, vol.80, issue.6, pp.1033-1052, 1974.
DOI : 10.1090/S0002-9904-1974-13616-5

M. Apagodu, The sharpening of Wilf-Zeilberger theory, ProQuest LLC, 2006.

M. Apagodu and D. Zeilberger, Multi-variable Zeilberger and Almkvist???Zeilberger algorithms and the sharpening of Wilf???Zeilberger theory, Advances in Applied Mathematics, vol.37, issue.2, pp.139-152, 2006.
DOI : 10.1016/j.aam.2005.09.003

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

M. A. Barkatou, On Rational Solutions of Systems of Linear Differential Equations, Differential algebra and differential equations, pp.547-567, 1999.
DOI : 10.1006/jsco.1999.0314

I. N. Bern?te?-in, Modules over a ring of differential operators. An investigation of the fundamental solutions of equations with constant coefficients, Funkcional. Anal. i Prilo?en, vol.5, issue.2, pp.1-16, 1971.

I. N. Bern?te?-in, Analytic continuation of generalized functions with respect to a parameter, Funkcional. Anal. i Prilo?en, vol.6, issue.4, pp.26-40, 1972.

H. Böing and W. Koepf, Algorithms forq -Hypergeometric Summation in Computer Algebra, Special issue on Orthogonal Polynomials and Computer Algebra, pp.777-799, 1999.
DOI : 10.1006/jsco.1998.0339

A. Bostan, S. Chen, F. Chyzak, and Z. Li, Complexity of creative telescoping for bivariate rational functions, Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation, ISSAC '10, pp.203-210, 2010.
DOI : 10.1145/1837934.1837975
URL : https://hal.archives-ouvertes.fr/hal-00780066

A. Bostan, S. Chen, F. Chyzak, Z. Li, and G. Xin, Hermite reduction and creative telescoping for hyperexponential functions, Proceedings of the 38th international symposium on International symposium on symbolic and algebraic computation, ISSAC '13, pp.77-84, 2013.
DOI : 10.1145/2465506.2465946
URL : https://hal.archives-ouvertes.fr/hal-00780067

A. Bostan, F. Chyzak, T. Cluzeau, and B. Salvy, Low complexity algorithms for linear recurrences, Proceedings of the 2006 international symposium on Symbolic and algebraic computation , ISSAC '06, pp.31-38, 2006.
DOI : 10.1145/1145768.1145781
URL : https://hal.archives-ouvertes.fr/inria-00068922

A. Bostan, F. Chyzak, and É. De-panafieu, Complexity estimates for two uncoupling algorithms, Proceedings of the 38th international symposium on International symposium on symbolic and algebraic computation, ISSAC '13, pp.85-92, 2013.
DOI : 10.1145/2465506.2465941
URL : https://hal.archives-ouvertes.fr/hal-00780010

A. Bostan, F. Chyzak, G. Lecerf, B. Salvy, and E. Schost, Differential equations for algebraic functions, Proceedings of the 2007 international symposium on Symbolic and algebraic computation , ISSAC '07, pp.25-32, 2007.
DOI : 10.1145/1277548.1277553
URL : https://hal.archives-ouvertes.fr/inria-00138206

A. Bostan, F. Chyzak, M. Van-hoeij, and L. Pech, Explicit formula for the generating series of diagonal 3D rook paths, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00780432

A. Bostan, T. Cluzeau, and B. Salvy, Fast algorithms for polynomial solutions of linear differential equations, Proceedings of the 2005 international symposium on Symbolic and algebraic computation , ISSAC '05, pp.45-52, 2005.
DOI : 10.1145/1073884.1073893
URL : https://hal.archives-ouvertes.fr/hal-00078763

A. Bostan, P. Lairez, and B. Salvy, Creative telescoping for rational functions using the Griffiths?Dwork method, ISSAC'13, pp.93-100, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00777675

M. Bronstein and M. Petkov?ek, Ore rings, linear operators and factorization, pp.27-44, 1994.

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

S. Chen, Some applications of differential-difference algebra to creative telescoping, École polytechnique. French original title: Quelques applications de l'algèbre différentielle et aux différences pour le télescopage créatif, 2011.
URL : https://hal.archives-ouvertes.fr/pastel-00576861

S. Chen, F. Chyzak, R. Feng, and Z. Li, On the existence of telescopers for hyperexponential-hypergeometric sequences, 2013.

S. Chen, M. Jaroschek, M. Kauers, and M. F. Singer, Desingularization explains orderdegree curves for Ore operators, ISSAC'13, pp.157-164, 2013.

S. Chen and M. Kauers, Order-degree curves for hypergeometric creative telescoping, Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation, ISSAC '12, pp.122-129, 2012.
DOI : 10.1145/2442829.2442850

S. Chen and M. Kauers, Trading order for degree in creative telescoping, Journal of Symbolic Computation, vol.47, issue.8, pp.968-995, 2012.
DOI : 10.1016/j.jsc.2012.02.002

S. Chen, M. Kauers, and M. Singer, Telescopers for rational and algebraic functions via residues, Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation, ISSAC '12, pp.130-137, 2012.
DOI : 10.1145/2442829.2442851

W. Y. Chen, Q. Hou, and Y. Mu, Applicability of the <mml:math altimg="si1.gif" display="inline" overflow="scroll" xmlns:xocs="http://www.elsevier.com/xml/xocs/dtd" xmlns:xs="http://www.w3.org/2001/XMLSchema" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns="http://www.elsevier.com/xml/ja/dtd" xmlns:ja="http://www.elsevier.com/xml/ja/dtd" xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:tb="http://www.elsevier.com/xml/common/table/dtd" xmlns:sb="http://www.elsevier.com/xml/common/struct-bib/dtd" xmlns:ce="http://www.elsevier.com/xml/common/dtd" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:cals="http://www.elsevier.com/xml/common/cals/dtd"><mml:mi>q</mml:mi></mml:math>-analogue of Zeilberger???s algorithm, Journal of Symbolic Computation, vol.39, issue.2, pp.155-170, 2005.
DOI : 10.1016/j.jsc.2004.09.002

W. Y. Chen and L. H. Sun, Extended Zeilberger's algorithm for identities on Bernoulli and Euler polynomials, Journal of Number Theory, vol.129, issue.9, pp.2111-2132, 2009.
DOI : 10.1016/j.jnt.2009.01.026

F. Chyzak, Fonctions holonomes en calcul formel, 1998.
URL : https://hal.archives-ouvertes.fr/tel-00991717

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, M. Kauers, and B. Salvy, A non-holonomic systems approach to special function identities, Proceedings of the 2009 international symposium on Symbolic and algebraic computation, ISSAC '09, pp.111-118, 2009.
DOI : 10.1145/1576702.1576720
URL : https://hal.archives-ouvertes.fr/inria-00376526

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

S. Collart, M. Kalkbrener, and D. Mall, Converting bases with the Gröbner walk, J. Symbolic Comput, vol.2434, pp.465-469, 1993.

G. Doetsch, Integraleigenschaften der Hermiteschen Polynome, Mathematische Zeitschrift, vol.32, issue.1, pp.587-599, 1930.
DOI : 10.1007/BF01194654

S. B. Ekhad and D. Zeilberger, A high-school algebra, ???formal calculus???, proof of the Bieberbach conjecture [after L. Weinstein], Jerusalem Combinatorics'93 Conference proceedings, pp.113-115, 1994.
DOI : 10.1090/conm/178/01895

S. B. Ekhad and D. Zeilberger, A WZ PROOF OF RAMANUJAN???S FORMULA FOR ??, Geometry, Analysis, and Mechanics, pp.107-108, 1994.
DOI : 10.1142/9789812797131_0009

S. B. Ekhad and D. Zeilberger, The number of solutions of X 2 = 0 in triangular matrices over GF(q). Electron, Research Paper 2, p.pp, 1996.

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, A Note on Pure Recurrence Relations, The American Mathematical Monthly, vol.56, issue.1, pp.14-17, 1949.
DOI : 10.2307/2305810

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

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

I. M. Gel-'fand, M. I. Graev, and V. S. Retakh, General hypergeometric systems of equations and series of hypergeometric type, Russian Math. Surveys Translation from Uspekhi Matematicheskikh Nauk, vol.47, issue.474286, pp.1-88, 1992.

I. M. Gessel, Applications of the classical umbral calculus, Algebra Universalis, vol.49, issue.4, pp.397-434, 2003.
DOI : 10.1007/s00012-003-1813-5

M. L. Glasser and E. 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

J. Gosper and R. W. , 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

Q. Guo, Q. Hou, and L. H. Sun, Proving hypergeometric identities by numerical verifications, Journal of Symbolic Computation, vol.43, issue.12, pp.895-907, 2008.
DOI : 10.1016/j.jsc.2008.05.003

J. Hornegger, Hypergeometrische Summation und polynomiale Rekursion. Diplomarbeit, 1992.

Q. Hou, k-free recurrences of double hypergeometric terms, Advances in Applied Mathematics, vol.32, issue.3, pp.468-484, 2004.
DOI : 10.1016/S0196-8858(03)00056-3

N. Jacobson, On Pseudo-Linear Transformations, Proceedings of the National Academy of Sciences, vol.21, issue.12, pp.484-507, 1937.
DOI : 10.1073/pnas.21.12.667

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. 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

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. Kauers, C. Koutschan, and D. Zeilberger, Proof of Ira Gessel's lattice path conjecture, Proc. Natl. Acad. Sci. USA, pp.11502-11505, 2009.
DOI : 10.1073/pnas.0901678106

T. H. Koornwinder, On Zeilberger's algorithm and its q-analogue, Proceedings of the Seventh Spanish Symposium on Orthogonal Polynomials and Applications (VII SPOA) (Granada, pp.91-111, 1991.
DOI : 10.1016/0377-0427(93)90317-5

C. Koutschan, A Fast Approach to Creative Telescoping, Mathematics in Computer Science, vol.32, issue.3, pp.259-266, 2010.
DOI : 10.1007/s11786-010-0055-0

C. Koutschan, Creative telescoping for holonomic functions Computer Algebra in Quantum Field Theory: Integration, Summation and Special Functions, Texts & Monographs in Symbolic Computation, pp.171-194, 2013.

C. Koutschan, M. Kauers, and D. Zeilberger, Proof of George Andrews's and David Robbins's q-TSPP conjecture, Proc. Natl. Acad. Sci. USA, pp.2196-2199, 2011.
DOI : 10.1073/pnas.1019186108

K. Le, On the q-analogue of Zeilberger's algorithm for rational functions, pp.49-58, 2001.

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

P. Lison?k, P. Paule, and V. Strehl, Improvement of the Degree Setting in Gosper's Algorithm, Journal of Symbolic Computation, vol.16, issue.3, pp.243-258, 1993.
DOI : 10.1006/jsco.1993.1043

J. E. Majewicz, WZ-style certification and sister celine's technique for abel-type sums, Journal of Difference Equations and Applications, vol.2, issue.1, pp.55-65, 1996.
DOI : 10.1007/BF02100618

J. E. Majewicz, WZ certification of Abel-type identities and Askey's positivity conjecture, Pro- Quest LLC, 1997.

M. Mohammed and D. Zeilberger, Sharp upper bounds for the orders of the recurrences output by the Zeilberger and <mml:math altimg="si1.gif" display="inline" overflow="scroll" xmlns:xocs="http://www.elsevier.com/xml/xocs/dtd" xmlns:xs="http://www.w3.org/2001/XMLSchema" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns="http://www.elsevier.com/xml/ja/dtd" xmlns:ja="http://www.elsevier.com/xml/ja/dtd" xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:tb="http://www.elsevier.com/xml/common/table/dtd" xmlns:sb="http://www.elsevier.com/xml/common/struct-bib/dtd" xmlns:ce="http://www.elsevier.com/xml/common/dtd" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:cals="http://www.elsevier.com/xml/common/cals/dtd"><mml:mi>q</mml:mi></mml:math>-Zeilberger algorithms, Journal of Symbolic Computation, vol.39, issue.2, pp.201-207, 2005.
DOI : 10.1016/j.jsc.2004.10.002

H. Bibliography-nakayama and K. Nishiyama, An algorithm of computing inhomogeneous differential equations for definite integrals, Proceedings of the Third international congress conference on Mathematical software, ICMS'10, pp.221-232, 2010.

T. Oaku, An algorithm of computing b-functions. Duke Math, J, vol.87, issue.1, pp.115-132, 1997.

T. Oaku, Algorithms forb-Functions, Restrictions, and Algebraic Local Cohomology Groups ofD-Modules, Advances in Applied Mathematics, vol.19, issue.1, pp.61-105, 1997.
DOI : 10.1006/aama.1997.0527
URL : http://doi.org/10.1006/aama.1997.0527

T. Oaku, Algorithms for integrals of holonomic functions over domains defined by polynomial inequalities, Journal of Symbolic Computation, vol.50, pp.1-27, 2013.
DOI : 10.1016/j.jsc.2012.05.004

T. Oaku and N. Takayama, Algorithms for D-modules ??? restriction, tensor product, localization, and local cohomology groups, Journal of Pure and Applied Algebra, vol.156, issue.2-3, pp.267-308, 2001.
DOI : 10.1016/S0022-4049(00)00004-9

T. Oaku, N. Takayama, and U. Walther, A localization algorithm for D-modules, Special issue on Symbolic Computation in Algebra, Analysis, and Geometry, pp.721-728, 1998.

O. Ore, Sur les fonctions hypergéométriques de plusieurs variables, Comptes Rendus des Séances de l'Académie des Sciences, pp.1238-1241, 1929.

O. Ore, Sur la forme des fonctions hypergéométriques de plusieurs variables, Journal de Mathématiques Pures et Appliquées, vol.9, issue.9, pp.311-326, 1930.

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. V. Paramonov, On rational solutions of linear partial differential or difference equations, Programming and Computer Software, vol.39, issue.2, pp.57-60, 2013.
DOI : 10.1134/S0361768813020060

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, Short and easy computer proofs of the Rogers-Ramanujan identities and of identities of similar type, Electron. J. Combin, vol.1, issue.10, 1994.

P. Paule, Greatest Factorial Factorization and Symbolic Summation, Journal of Symbolic Computation, vol.20, issue.3, pp.235-268, 1995.
DOI : 10.1006/jsco.1995.1049

P. Paule and A. Riese, A Mathematica q-analogue of Zeilberger's algorithm based on an algebraically motivated approach to q-hypergeometric telescoping. In Special functions, q-series and related topics, pp.179-210, 1995.

P. Paule and M. Schorn, A Mathematica Version of Zeilberger's Algorithm for Proving Binomial Coefficient Identities, Special issue for Symbolic Computation in Combinatorics ? 1, pp.5-6, 1993.
DOI : 10.1006/jsco.1995.1071

L. Pech, novembre) Algorithmes pour la sommation et l'intégration symboliques. Master's thesis, École Normale Supérieure, 2009.

M. Petkov?ek, H. S. Wilf, and D. Zeilberger, A = B, 1996.

R. Piessens and P. Verbaeten, Numerical solution of the abel integral equation, BIT, vol.2, issue.4, pp.451-457, 1973.
DOI : 10.1007/BF01933409

H. Prodinger, Descendants in heap ordered trees, or, A triumph of computer algebra, Electron. J. Combin, vol.3, issue.9, p.pp, 1996.

C. Raab, Generalization of Risch???s Algorithm to Special Functions, Computer Algebra in Quantum Field Theory: Integration, Summation and Special Functions, Texts & Monographs in Symbolic Computation, pp.285-304, 2013.
DOI : 10.1007/978-3-7091-1616-6_12

E. D. Rainville, Special functions, 1960.

A. Riese, A generalization of Gosper's algorithm to bibasic hypergeometric summation, Research Paper 19, p.pp, 1996.

A. Riese, Fine-tuning Zeilberger's algorithm. The methods of automatic filtering and creative substituting In Symbolic computation, number theory, special functions, physics and combinatorics, pp.243-254, 1999.

A. Riese, qMultiSum???a package for proving q-hypergeometric multiple summation identities, Journal of Symbolic Computation, vol.35, issue.3, pp.349-376, 2003.
DOI : 10.1016/S0747-7171(02)00138-4

R. H. Risch, The problem of integration in finite terms, Transactions of the American Mathematical Society, vol.139, pp.167-189, 1969.
DOI : 10.1090/S0002-9947-1969-0237477-8

R. H. Risch, The solution of the problem of integration in finite terms, Bulletin of the American Mathematical Society, vol.76, issue.3, pp.605-608, 1970.
DOI : 10.1090/S0002-9904-1970-12454-5

M. Saito, B. Sturmfels, and N. Takayama, Gröbner deformations of hypergeometric differential equations, Algorithms and Computation in Mathematics, vol.6, 2000.

M. Sato, Theory of prehomogeneous vector spaces (algebraic part)???the English translation of Sato???s lecture from Shintani???s note, Nagoya Mathematical Journal, vol.15, issue.1, pp.1-34, 1990.
DOI : 10.2307/1970844

C. Schneider, Simplifying multiple sums in difference fields Computer Algebra in Quantum Field Theory: Integration, Summation and Special Functions, Texts & Monographs in Symbolic Computation, pp.325-360, 2013.

R. P. Stanley, Differentiably Finite Power Series, European Journal of Combinatorics, vol.1, issue.2, pp.175-188, 1980.
DOI : 10.1016/S0195-6698(80)80051-5

R. P. Stanley, Enumerative combinatorics, Cambridge Studies in Advanced Mathematics, vol.2, issue.62, 1999.

V. Strehl, Binomial identities ??? combinatorial and algorithmic aspects, Discrete Mathematics, vol.136, issue.1-3, pp.309-346, 1994.
DOI : 10.1016/0012-365X(94)00118-3

B. Sturmfels and N. Takayama, Gröbner bases and hypergeometric functions, Gröbner bases and applications, pp.246-258, 1998.

N. Takayama, Gr??bner basis and the problem of contiguous relations, Japan Journal of Applied Mathematics, vol.34, issue.9, pp.147-160, 1989.
DOI : 10.1007/BF03167920

N. Takayama, An algorithm of constructing the integral of a module?an infinite dimensional analog of Gr??bner basis, Proceedings of the international symposium on Symbolic and algebraic computation , ISSAC '90, pp.206-211, 1990.
DOI : 10.1145/96877.96929

N. Takayama, Gröbner basis, integration and transcendental functions, Symbolic and Algebraic Computation Proceedings of ISSAC'90, pp.152-156, 1990.

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

A. Tefera, Improved algorithms and implementations in the multi-WZ theory, ProQuest LLC, 2000.

A. Tefera, MultInt, a MAPLE Package for Multiple Integration by the WZ Method, Journal of Symbolic Computation, vol.34, issue.5, pp.329-353, 2002.
DOI : 10.1006/jsco.2002.0561

H. Tsai, Weyl Closure of a Linear Differential Operator, Special issue on Symbolic Computation in Algebra, Analysis, and Geometry, pp.747-775, 1998.
DOI : 10.1006/jsco.1999.0400

H. Tsai, Algorithms for associated primes, Weyl closure, and local cohomology of Dmodules, Local cohomology and its applications, pp.169-194, 1999.

A. Van-der-poorten, Ap??ry???s Proof of the irrationality of ??(3), The Mathematical Intelligencer, vol.1, issue.4, pp.195-203, 1979.
DOI : 10.1007/BF03028234

P. Verbaeten, The automatic construction of pure recurrence relations, Proceedings of Eurosam 74, pp.96-98, 1974.
DOI : 10.1145/1086837.1086854

P. Verbaeten, Rekursiebetrekkingen voor lineaire hypergeometrische funkties, 1976.

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

H. S. Wilf and D. Zeilberger, An algorithmic proof theory for hypergeometric (ordinary and ???q???) multisum/integral identities, Inventiones Mathematicae, vol.54, issue.1, pp.575-633, 1992.
DOI : 10.1007/BF02100618

H. S. Wilf and D. Zeilberger, Rational Function Certification\\ Of Multisum/integral/``$q$'' Identities, Bulletin of the American Mathematical Society, vol.27, issue.1, pp.148-153, 1992.
DOI : 10.1090/S0273-0979-1992-00297-5

L. Yen, Contributions to the proof theory of hypergeometric identities, 1993.

L. Yen, A Two-Line Algorithm for Proving Terminating Hypergeometric Identities, Journal of Mathematical Analysis and Applications, vol.198, issue.3, pp.856-878, 1996.
DOI : 10.1006/jmaa.1996.0118

L. Yen, A Two-Line Algorithm for Provingq-Hypergeometric Identities, Journal of Mathematical Analysis and Applications, vol.213, issue.1, pp.1-14, 1997.
DOI : 10.1006/jmaa.1997.5131

D. Zeilberger, The Algebra of Linear Partial Difference Operators and Its Applications, SIAM Journal on Mathematical Analysis, vol.11, issue.6, pp.919-932, 1980.
DOI : 10.1137/0511082

D. Zeilberger, Sister Celine's technique and its generalizations, Journal of Mathematical Analysis and Applications, vol.85, issue.1, pp.114-145, 1982.
DOI : 10.1016/0022-247X(82)90029-4

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

D. Zeilberger, The method of creative telescoping, Journal of Symbolic Computation, vol.11, issue.3, pp.195-204, 1991.
DOI : 10.1016/S0747-7171(08)80044-2

D. Zeilberger, Towards a WZ Evolution of the Mehta Integral, SIAM Journal on Mathematical Analysis, vol.25, issue.2, pp.812-814, 1994.
DOI : 10.1137/S0036141092228751

B. Zhang, A new elementary algorithm for proving q-hypergeometric identities, Journal of Symbolic Computation, vol.35, issue.3, pp.293-303, 2003.
DOI : 10.1016/S0747-7171(02)00136-0