14 references, page 1 of 2 [1] G.Almkvist, D.Zeilberger, The method of differentiating under the integral sign, Journal of Symbolic Computation 10, 571-591, 1990.

[2] M.Apagodu, D.Zeilberger, Multi-variable Zeilberger and AlmkvistZeilberger algorithms and the sharpening of Wilf-Zeilberger theory, Advances in Applied Mathematics 37, 139-152, 2006.

[3] F.Chyzak, Gr¨obner Bases, Symbolic Summation and Symbolic Integration, London Mathematics Lecture Notes Series, vol.251, 32-60, 1998.

[4] F.Chyzak, An Extension of Zeilberger's Fast Algorithm to General Holonomic Functions, Discrete Mathematics 217, 115-134, 2000.

[5] F.Chyzak, B. Salvy, Non-commutative Elimination in Ore Algebras Proves Multivariate Holonomic Identities, Journal of Symbolic Computation 26, 187-227, 1998.

[6] T.Oaku, Algorithms for b-functions, restrictions, and algebraic local cohomology groups of D-modules, Advances in Applied Mathematics 19, 61-105, 1997.

[7] T.Oaku, Y.Shiraki, and N.Takayama, Algebraic Algorithm for D-modules and numerical analysis, Computer mathematics (Proceedings of ASCM 2003), 23-39, Lecture Notes Ser. Comput., 10, World Sci. Publ., River Edge, NJ, 2003.

[8] M.Saito, B.Sturmfels, and N.Takayama, Gr¨obner Deformations of Hypergeometric Differential Equations, Springer, 2000.

[9] N.Takayama, An Approach to the Zero Recognition Problem by Buchberger Algorithm, Journal of Symbolic Computation 14, 265-282, 1992.

[10] A.Tefera, MultInt, a Maple package for multiple integration by the WZ method, Journal of Symbolic Computation 34, 329-353, 2002.