, The rational component of the solution of a first order linear recurrence relation with rational right hand side, Z. Vy?isl. Mat. i Mat. Fiz, vol.15, issue.4, pp.1035-1039, 1090.
, Indefinite sums of rational functions, Proceedings of the 1995 international symposium on Symbolic and algebraic computation , ISSAC '95, pp.303-308, 1995.
DOI : 10.1145/220346.220386
, 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
, 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
, Minimal decomposition of indefinite hypergeometric sums, Proceedings of the 2001 international symposium on Symbolic and algebraic computation , ISSAC '01, pp.7-14, 2001.
DOI : 10.1145/384101.384103
, 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
, Rational Normal Forms and Minimal Decompositions of Hypergeometric Terms, Journal of Symbolic Computation, vol.33, issue.5, pp.521-543, 2002.
DOI : 10.1006/jsco.2002.0522
, 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
, 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.
, 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
, Picard--Vessiot extensions for linear functional systems, Proceedings of the 2005 international symposium on Symbolic and algebraic computation , ISSAC '05, pp.68-75, 2005.
DOI : 10.1145/1073884.1073896
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.218.9078
, Applications of Differential-Difference Algebra to Creative Telescoping, 2011.
URL : https://hal.archives-ouvertes.fr/pastel-00576861
, On the structure of compatible rational functions, Proceedings of the 36th international symposium on Symbolic and algebraic computation, ISSAC '11, pp.91-98, 2011.
DOI : 10.1145/1993886.1993905
, 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
, Residues and telescopers for bivariate rational functions, Advances in Applied Mathematics, vol.49, issue.2, pp.111-133, 2012.
DOI : 10.1016/j.aam.2012.04.003
, 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
, 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
, The Risch Differential Equation Problem, SIAM Journal on Computing, vol.15, issue.4, pp.903-918, 1986.
DOI : 10.1137/0215063
, -dependence, Pacific Journal of Mathematics, vol.256, issue.1, pp.79-104, 2012.
DOI : 10.2140/pjm.2012.256.79
URL : https://hal.archives-ouvertes.fr/hal-00350718
, Differential rational normal forms and a reduction algorithm for hyperexponential functions, ISSAC'04: Proceedings of the 2004 International Symposium on Symbolic and Algebraic Computation, pp.183-190, 2004.
, 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
, Differential Galois theory of linear difference equations, Mathematische Annalen, vol.23, issue.Special issue 2, pp.333-377, 2008.
DOI : 10.1007/s00208-008-0238-z
URL : https://hal.archives-ouvertes.fr/hal-00997318
, Sur l'int??gration des fractions rationnelles, Annales scientifiques de l'??cole normale sup??rieure, vol.1, issue.2, pp.215-218, 1872.
DOI : 10.24033/asens.82
URL : http://archive.numdam.org/article/ASENS_1872_2_1__215_0.pdf
, On the holonomic systems of linear differential equations, II, Inventiones Mathematicae, vol.38, issue.2, pp.121-135, 1978.
DOI : 10.1007/BF01403082
, Hypergeometric Summation Advanced Lectures in Mathematics. Friedr. Vieweg & Sohn, Braunschweig, an algorithmic approach to summation and special function identities, 1998.
, On the q-analogue of Zeilberger's algorithm to rational functions, Programming and Computer Software, vol.27, issue.1, pp.35-42, 2001.
DOI : 10.1023/A:1007186703355
, A recursive method for determining the one-dimensional submodules of Laurent-Ore modules, Proceedings of the 2006 international symposium on Symbolic and algebraic computation , ISSAC '06, pp.220-227, 2006.
DOI : 10.1145/1145768.1145806
, 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
, Sur la forme des fonctions hypergéométriques de plusieurs variables, J. Math. Pures Appl, vol.9, issue.4, pp.311-326, 1930.
, De l'intégration des fractions rationnelles. Bull. de la classe physico-mathématique de l'Acad, Impériale des Sciences de Saint-Pétersbourg, vol.4, pp.145-167, 1845.
, 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
, Parameterized Telescoping Proves Algebraic Independence of Sums, Annals of Combinatorics, vol.11, issue.3, pp.533-552, 2010.
DOI : 10.1007/s00026-011-0076-7
, 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
, 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
, 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