Proof of the Wilf–Zeilberger conjecture for mixed hypergeometric terms

Abramov, 2003, When does Zeilberger's algorithm succeed?, Adv. Appl. Math., 30, 424, 10.1016/S0196-8858(02)00504-3 Abramov, 2001, Proof of a conjecture of Wilf and Zeilberger, Prepr. Ser. Inst. Math. Phys. Mech., 39 Abramov, 2002, On the structure of multivariate hypergeometric terms, Adv. Appl. Math., 29, 386, 10.1016/S0196-8858(02)00022-2 Bernšteĭn, 1971, Modules over a ring of differential operators. An investigation of the fundamental solutions of equations with constant coefficients, Funkc. Anal. Prilozh., 5, 1 Bronstein, 2005, Symbolic Integration I: Transcendental Functions, vol. 1 Cerveau, 1982, Formes Intégrables Holomorphes Singulières, vol. 97 Chen, 2011 Chen, 2015, On the existence of telescopers for mixed hypergeometric terms, J. Symb. Comput., 68, 1, 10.1016/j.jsc.2014.08.005 Chen, 2011, On the structure of compatible rational functions, 91 Chen, 2005, Applicability of the q-analogue of Zeilberger's algorithm, J. Symb. Comput., 39, 155, 10.1016/j.jsc.2004.09.002 Christopher, 1999, Liouvillian first integrals of second order polynomial differential equations, Electron. J. Differ. Equ., 49, 1 Coutinho, 1995, A Primer of Algebraic D-Modules, vol. 33 Gel'fand, 1992, General hypergeometric systems of equations and series of hypergeometric type, Russ. Math. Surv., 47, 3, 10.1070/RM1992v047n04ABEH000915 Hou, 2001 Hou, 2004, k-Free recurrences of double hypergeometric terms, Adv. Appl. Math., 32, 468, 10.1016/S0196-8858(03)00056-3 Kashiwara, 1978, On the holonomic systems of linear differential equations. II, Invent. Math., 49, 121, 10.1007/BF01403082 Kolchin, 1973, Differential Algebra and Algebraic Groups, vol. 54 Lipshitz, 1988, The diagonal of a D-finite power series is D-finite, J. Algebra, 113, 373, 10.1016/0021-8693(88)90166-4 Lipshitz, 1989, D-finite power series, J. Algebra, 122, 353, 10.1016/0021-8693(89)90222-6 Ore, 1930, Sur la forme des fonctions hypergéométriques de plusieurs variables, J. Math. Pures Appl. (9), 9, 311 Payne, 1997 Sato, 1990, Theory of prehomogeneous vector spaces (algebraic part)—the English translation of Sato's lecture from Shintani's note, Nagoya Math. J., 120, 1, 10.1017/S0027763000003214 Takayama, 1992, An approach to the zero recognition problem by Buchberger algorithm, J. Symb. Comput., 14, 265, 10.1016/0747-7171(92)90039-7 Wilf, 1990, Rational functions certify combinatorial identities, J. Am. Math. Soc., 3, 147, 10.1090/S0894-0347-1990-1007910-7 Wilf, 1990, Towards computerized proofs of identities, Bull. Am. Math. Soc. (N.S.), 23, 77, 10.1090/S0273-0979-1990-15904-X Wilf, 1992, An algorithmic proof theory for hypergeometric (ordinary and “q”) multisum/integral identities, Invent. Math., 108, 575, 10.1007/BF02100618 Zeilberger, 1990, A holonomic systems approach to special functions identities, J. Comput. Appl. Math., 32, 321, 10.1016/0377-0427(90)90042-X Zeilberger, 1991, The method of creative telescoping, J. Symb. Comput., 11, 195, 10.1016/S0747-7171(08)80044-2 Zoladek, 1998, The extended monodromy group and Liouvillian first integrals, J. Dyn. Control Syst., 4, 1, 10.1023/A:1022894431882