The extended Zeilberger algorithm with parameters

DOI10.1016/j.jsc.2011.12.024zbMath1305.33035arXiv0908.1328MaRDI QIDQ413409

William Y. C. Chen, Qing-Hu Hou, Yan-Ping Mu

Publication date: 7 May 2012

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/0908.1328

zbMATH Keywords

orthogonal polynomials; hypergeometric series; Zeilberger's algorithm; Gosper's algorithm; symbolic summation

Mathematics Subject Classification ID

68W30: Symbolic computation and algebraic computation

33C45: Orthogonal polynomials and functions of hypergeometric type (Jacobi, Laguerre, Hermite, Askey scheme, etc.)

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

33D45: Basic orthogonal polynomials and functions (Askey-Wilson polynomials, etc.)

33F10: Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.)

33C99: Hypergeometric functions

Related Items

Recurrence relations for the connection coefficients of classical orthogonal polynomials, Inner bounds for the extreme zeros of ₃F₂ hypergeometric polynomials, Formal residue and computer-assisted proofs of combinatorial identities, Quasi-orthogonality of some hypergeometric and \(q\)-hypergeometric polynomials, Numerical computations of separability probabilities

Uses Software

• qZeil

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)) multisum/integral identities
• Extended Zeilberger's algorithm for identities on Bernoulli and Euler polynomials
• The method of creative telescoping
• Representations of orthogonal polynomials
• Pfaff's method. I: The Mills-Robbins-Rumsey determinant.
• Pfaff's method. III: Comparison with the WZ method
• Algorithms for \(q\)-hypergeometric summation in computer algebra
• An extension of Zeilberger's fast algorithm to general holonomic functions
• Summation in Finite Terms
• Decision procedure for indefinite hypergeometric summation
• Solving parameterized linear difference equations in terms of indefinite nested sums and products