Applicability of Zeilberger's algorithm to rational functions

From MaRDI portal





The applicability of \textit{D. Zeilberger}'s algorithm [Discrete Math. 80, No. 2, 207-211 (1990; Zbl 0701.05001)] to the sum of two rational functions. Zeilberger's algorithm is a useful tool for proving identities for finite and infinite functional sums. A criterion for the existence of so-called Z-pair for a rational function, which contains from a linear difference operator and a function of a special form. A class of identities for functional sums is specified for which Zeilberger's algorithm can not be applied. Examples are given showing that the set of hypergeometric terms for which Zeilberger's algorithm terminates is a proper subset of the set of hypergeometric terms. For the entire collection see [Zbl 0941.00013].











This page was built for publication: Applicability of Zeilberger's algorithm to rational functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4502525)