On Zeilberger's algorithm and its \(q\)-analogue

DOI10.1016/0377-0427(93)90317-5zbMath0797.65011MaRDI QIDQ1318445

Koornwinder, Tom H.

Publication date: 27 March 1994

Published in: Journal of Computational and Applied Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0377-0427(93)90317-5

zbMATH Keywords

hypergeometric series; computer algebra; Zeilberger's algorithm; \(q\)-version; Gosper's algorithm; explicit summation formulas; Maple V procedures

Mathematics Subject Classification ID

68W30: Symbolic computation and algebraic computation

65D20: Computation of special functions and constants, construction of tables

33D15: Basic hypergeometric functions in one variable, ({}_rphi_s)

33C20: Generalized hypergeometric series, ({}_pF_q)

65B10: Numerical summation of series

33C15: Confluent hypergeometric functions, Whittaker functions, ({}_1F_1)

Related Items

Identities for families of orthogonal polynomials and special functions, The Abel Lemma and the $q$-Gosper Algorithm, The \(C\)-polynomial of a knot, Parameter augmentation and the \(q\)-Gosper algorithm, Proving hypergeometric identities by numerical verifications, A two-line algorithm for proving \(q\)-hypergeometric identities, \(q\)-hypergeometric solutions of \(q\)-difference equations, A direct algorithm to construct the minimal \(Z\)-pairs for rational functions., \texttt{qMultiSum} -- a package for proving \(q\)-hypergeometric multiple summation identities, Algorithms for \(q\)-hypergeometric summation in computer algebra, Multibasic and mixed hypergeometric Gosper-type algorithms, Applicability of the \(q\)-analogue of Zeilberger's algorithm, Sharp upper bounds for the orders of the recurrences output by the Zeilberger and \(q\)-Zeilberger algorithms, On the Gosper-Petkovšek representation of rational functions, Telescoping in the context of symbolic summation in Maple, A simple proof of Bailey’s very-well-poised ₆𝜓₆ summation, SIMPLIFYING SUMS IN ΠΣ*-EXTENSIONS

Uses Software

• Maple

Cites Work

• A fast algorithm for proving terminating hypergeometric identities
• A holonomic systems approach to special functions identities
• The method of creative telescoping
• Hypergeometric solutions of linear recurrences with polynomial coefficients
• Decision procedure for indefinite hypergeometric summation
• Generalized Hypergeometric Function of Unit Argument
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item