On Zeilberger's algorithm and its q-analogue

DOI10.1016/0377-0427(93)90317-5zbMATH Open0797.65011OpenAlexW2070989931MaRDI QIDQ1318445FDOQ1318445

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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• A holonomic systems approach to special functions identities
• Title not available (Why is that?)
• Decision procedure for indefinite hypergeometric summation
• Title not available (Why is that?)
• Hypergeometric solutions of linear recurrences with polynomial coefficients
• The method of creative telescoping
• Generalized Hypergeometric Function of Unit Argument
• A fast algorithm for proving terminating hypergeometric identities
• Title not available (Why is that?)

Cited In (42)

• \(q\)-rational reduction and \(q\)-analogues of series for \(\pi\)
• Algorithmic determination of \(q\)-power series for \(q\)-holonomic functions
• The J.C.P. miller recurrence for exponentiating a polynomial, and its q- analog
• Sharp upper bounds for the orders of the recurrences output by the Zeilberger and \(q\)-Zeilberger algorithms
• 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
• NUMERICAL SPECTRAL LEGENDRE APPROACH FOR SOLVING SPACE-TIME FRACTIONAL ADVECTION-DISPERSION PROBLEMS
• 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
• The Abel Lemma and the $q$-Gosper Algorithm
• Parameter augmentation and the \(q\)-Gosper algorithm
• A two-line algorithm for proving \(q\)-hypergeometric identities
• Construction and implementation of asymptotic expansions for Jacobi-type orthogonal polynomials
• Multibasic and mixed hypergeometric Gosper-type algorithms
• 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
• Simplifying Multiple Sums in Difference Fields
• A simple proof of Bailey's very-well-poised \({}_{6}\psi_{6}\) summation
• Title not available (Why is that?)
• Telescoping in the context of symbolic summation in Maple
• Creative Telescoping for Holonomic Functions
• Title not available (Why is that?)
• \(q\)-hypergeometric solutions of \(q\)-difference equations
• A Mathematica package for \(q\)-holonomic sequences and power series
• THE NON-COMMUTATIVE A-POLYNOMIAL OF TWIST KNOTS
• \texttt{qMultiSum} -- a package for proving \(q\)-hypergeometric multiple summation identities
• Applicability of the \(q\)-analogue of Zeilberger's algorithm
• Title not available (Why is that?)
• A family of WZ pairs and \(q\)-identities
• A representation theorem for (\(q\)-)holonomic sequences
• Pfaffian decomposition and a Pfaffian analogue of \(q\)-Catalan Hankel determinants
• On the Gosper-Petkovšek representation of rational functions
• The \(C\)-polynomial of a knot
• The general quasi-order algorithm in number theory

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)