On Zeilberger's algorithm and its q-analogue

DOI10.1016/0377-0427(93)90317-5MaRDI QIDQ1318445zbMATH OpenOpenAlexFDO

Authors Tom H. Koornwinder

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

computer algebrahypergeometric seriesZeilberger's algorithm\(q\)-versionGosper's algorithmexplicit summation formulasMaple V procedures

Mathematics Subject Classification ID

Computation of special functions and constants, construction of tables (65D20) Generalized hypergeometric series, ({}_pF_q) (33C20) Numerical summation of series (65B10) Symbolic computation and algebraic computation (68W30) Confluent hypergeometric functions, Whittaker functions, ({}_1F_1) (33C15) Basic hypergeometric functions in one variable, ({}_rphi_s) (33D15)

Recommendations

• Algorithms for \(q\)-hypergeometric summation in computer algebra
• On the \(q\)-analogue of Zeilberger's algorithm to rational functions
• scientific article; zbMATH DE number 1023404
• Hypergeometric summation. An algorithmic approach to summation and special function identities
• scientific article; zbMATH DE number 1131976

Cites work

• scientific article; zbMATH DE number 434742 (Why is no real title available?)
• scientific article; zbMATH DE number 52062 (Why is no real title available?)
• scientific article; zbMATH DE number 194092 (Why is no real title available?)
• scientific article; zbMATH DE number 3016223 (Why is no real title available?)
• scientific article; zbMATH DE number 811958 (Why is no real title available?)
• A fast algorithm for proving terminating hypergeometric identities
• A holonomic systems approach to special functions identities
• Decision procedure for indefinite hypergeometric summation
• Generalized Hypergeometric Function of Unit Argument
• Hypergeometric solutions of linear recurrences with polynomial coefficients
• The method of creative telescoping

Cited in

(44)

• The \(C\)-polynomial of a knot
• \(q\)-rational reduction and \(q\)-analogues of series for \(\pi\)
• Creative telescoping for holonomic functions
• Algorithmic determination of q-power series for q-holonomic functions
• Sharp upper bounds for the orders of the recurrences output by the Zeilberger and \(q\)-Zeilberger algorithms
• The J.C.P. miller recurrence for exponentiating a polynomial, and its q- analog
• A direct algorithm to construct the minimal \(Z\)-pairs for rational functions.
• Identities for families of orthogonal polynomials and special functions
• On two-term hypergeometric recursions with free lower parameters
• Rogers-Ramanujan computer searches
• The \(q\)-WZ method for infinite series
• SIMPLIFYING SUMS IN ΠΣ*-EXTENSIONS
• The Abel lemma and the \(q\)-Gosper algorithm
• Proving hypergeometric identities by numerical verifications
• \(q\)-Gosper algorithm and simple Bailey pairs
• Algorithms for \(q\)-hypergeometric summation in computer algebra
• Parameter augmentation and the \(q\)-Gosper algorithm
• A two-line algorithm for proving \(q\)-hypergeometric identities
• The Abel Lemma and the $q$-Gosper Algorithm
• Construction and implementation of asymptotic expansions for Jacobi-type orthogonal polynomials
• Multibasic and mixed hypergeometric Gosper-type algorithms
• Holonomic tools for basic hypergeometric functions
• A generalized Apagodu-Zeilberger algorithm
• The non-commutative \(A\)-polynomial of twist knots
• On the \(q\)-analogue of Zeilberger's algorithm to rational functions
• Fast computation of the \(N\)-th term of a \(q\)-holonomic sequence and applications
• Hypergeometric summation. An algorithmic approach to summation and special function identities
• Gosper summability of rational multiples of hypergeometric terms
• A simple proof of Bailey's very-well-poised \({}_{6}\psi_{6}\) summation
• scientific article; zbMATH DE number 5283819 (Why is no real title available?)
• Numerical spectral Legendre approach for solving space-time fractional advection-dispersion problems
• Telescoping in the context of symbolic summation in Maple
• scientific article; zbMATH DE number 2063248 (Why is no real title available?)
• \(q\)-hypergeometric solutions of \(q\)-difference equations
• A Mathematica package for \(q\)-holonomic sequences and power series
• \texttt{qMultiSum} -- a package for proving \(q\)-hypergeometric multiple summation identities
• Applicability of the \(q\)-analogue of Zeilberger's algorithm
• scientific article; zbMATH DE number 1023404 (Why is no real title available?)
• A family of WZ pairs and \(q\)-identities
• Simplifying multiple sums in difference fields
• A representation theorem for (q-)holonomic sequences
• Pfaffian decomposition and a Pfaffian analogue of q-Catalan Hankel determinants
• The general quasi-order algorithm in number theory
• On the Gosper-Petkovšek representation of rational functions

Describes a project that uses

Uses Software

• Maple

This page was built for publication: On Zeilberger's algorithm and its \(q\)-analogue

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