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
-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
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
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
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
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
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
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
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
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
The sharpening of Wilf-Zeilberger theory, ProQuest LLC, 2006. ,
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
The world of q, CWI Quarterly, vol.5, issue.4, pp.251-269, 1992. ,
On Rational Solutions of Systems of Linear Differential Equations, Differential algebra and differential equations, pp.547-567, 1999. ,
DOI : 10.1006/jsco.1999.0314
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. ,
Analytic continuation of generalized functions with respect to a parameter, Funkcional. Anal. i Prilo?en, vol.6, issue.4, pp.26-40, 1972. ,
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
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
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
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
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
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
Explicit formula for the generating series of diagonal 3D rook paths, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-00780432
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
Creative telescoping for rational functions using the Griffiths?Dwork method, ISSAC'13, pp.93-100, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00777675
Ore rings, linear operators and factorization, pp.27-44, 1994. ,
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
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
On the existence of telescopers for hyperexponential-hypergeometric sequences, 2013. ,
Desingularization explains orderdegree curves for Ore operators, ISSAC'13, pp.157-164, 2013. ,
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
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
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
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
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
Fonctions holonomes en calcul formel, 1998. ,
URL : https://hal.archives-ouvertes.fr/tel-00991717
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
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
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
Converting bases with the Gröbner walk, J. Symbolic Comput, vol.2434, pp.465-469, 1993. ,
Integraleigenschaften der Hermiteschen Polynome, Mathematische Zeitschrift, vol.32, issue.1, pp.587-599, 1930. ,
DOI : 10.1007/BF01194654
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
A WZ PROOF OF RAMANUJAN???S FORMULA FOR ??, Geometry, Analysis, and Mechanics, pp.107-108, 1994. ,
DOI : 10.1142/9789812797131_0009
The number of solutions of X 2 = 0 in triangular matrices over GF(q). Electron, Research Paper 2, p.pp, 1996. ,
Some generalized hypergeometric polynomials, Bulletin of the American Mathematical Society, vol.53, issue.8, 1945. ,
DOI : 10.1090/S0002-9904-1947-08893-5
A Note on Pure Recurrence Relations, The American Mathematical Monthly, vol.56, issue.1, pp.14-17, 1949. ,
DOI : 10.2307/2305810
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
Some algorithmic questions on ideals of differential operators, Eurocal'85, pp.413-421, 1985. ,
DOI : 10.1007/3-540-15984-3_301
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. ,
Applications of the classical umbral calculus, Algebra Universalis, vol.49, issue.4, pp.397-434, 2003. ,
DOI : 10.1007/s00012-003-1813-5
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
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
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
Hypergeometrische Summation und polynomiale Rekursion. Diplomarbeit, 1992. ,
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
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
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
Summation in Finite Terms, Journal of the ACM, vol.28, issue.2, pp.305-350, 1981. ,
DOI : 10.1145/322248.322255
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
On the holonomic systems of linear differential equations, II, Inventiones Mathematicae, vol.38, issue.2, pp.121-135, 1978. ,
DOI : 10.1007/BF01403082
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
Proof of Ira Gessel's lattice path conjecture, Proc. Natl. Acad. Sci. USA, pp.11502-11505, 2009. ,
DOI : 10.1073/pnas.0901678106
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
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
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. ,
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
On the q-analogue of Zeilberger's algorithm for rational functions, pp.49-58, 2001. ,
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
D-finite power series, Journal of Algebra, vol.122, issue.2, pp.353-373, 1989. ,
DOI : 10.1016/0021-8693(89)90222-6
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
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
WZ certification of Abel-type identities and Askey's positivity conjecture, Pro- Quest LLC, 1997. ,
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
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. ,
An algorithm of computing b-functions. Duke Math, J, vol.87, issue.1, pp.115-132, 1997. ,
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
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
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
A localization algorithm for D-modules, Special issue on Symbolic Computation in Algebra, Analysis, and Geometry, pp.721-728, 1998. ,
Sur les fonctions hypergéométriques de plusieurs variables, Comptes Rendus des Séances de l'Académie des Sciences, pp.1238-1241, 1929. ,
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. ,
Linear Equations in Non-Commutative Fields, The Annals of Mathematics, vol.32, issue.3, pp.463-477, 1931. ,
DOI : 10.2307/1968245
Theory of Non-Commutative Polynomials, The Annals of Mathematics, vol.34, issue.3, pp.480-508, 1933. ,
DOI : 10.2307/1968173
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
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
Short and easy computer proofs of the Rogers-Ramanujan identities and of identities of similar type, Electron. J. Combin, vol.1, issue.10, 1994. ,
Greatest Factorial Factorization and Symbolic Summation, Journal of Symbolic Computation, vol.20, issue.3, pp.235-268, 1995. ,
DOI : 10.1006/jsco.1995.1049
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. ,
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
novembre) Algorithmes pour la sommation et l'intégration symboliques. Master's thesis, École Normale Supérieure, 2009. ,
A = B, 1996. ,
Numerical solution of the abel integral equation, BIT, vol.2, issue.4, pp.451-457, 1973. ,
DOI : 10.1007/BF01933409
Descendants in heap ordered trees, or, A triumph of computer algebra, Electron. J. Combin, vol.3, issue.9, p.pp, 1996. ,
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
Special functions, 1960. ,
A generalization of Gosper's algorithm to bibasic hypergeometric summation, Research Paper 19, p.pp, 1996. ,
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. ,
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
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
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
Gröbner deformations of hypergeometric differential equations, Algorithms and Computation in Mathematics, vol.6, 2000. ,
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
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. ,
Differentiably Finite Power Series, European Journal of Combinatorics, vol.1, issue.2, pp.175-188, 1980. ,
DOI : 10.1016/S0195-6698(80)80051-5
Enumerative combinatorics, Cambridge Studies in Advanced Mathematics, vol.2, issue.62, 1999. ,
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
Gröbner bases and hypergeometric functions, Gröbner bases and applications, pp.246-258, 1998. ,
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
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
Gröbner basis, integration and transcendental functions, Symbolic and Algebraic Computation Proceedings of ISSAC'90, pp.152-156, 1990. ,
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
Improved algorithms and implementations in the multi-WZ theory, ProQuest LLC, 2000. ,
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
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
Algorithms for associated primes, Weyl closure, and local cohomology of Dmodules, Local cohomology and its applications, pp.169-194, 1999. ,
Ap??ry???s Proof of the irrationality of ??(3), The Mathematical Intelligencer, vol.1, issue.4, pp.195-203, 1979. ,
DOI : 10.1007/BF03028234
The automatic construction of pure recurrence relations, Proceedings of Eurosam 74, pp.96-98, 1974. ,
DOI : 10.1145/1086837.1086854
Rekursiebetrekkingen voor lineaire hypergeometrische funkties, 1976. ,
Computer generated proofs of binomial multi-sum identities, 1997. ,
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
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
Contributions to the proof theory of hypergeometric identities, 1993. ,
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
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
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
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
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
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
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
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
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