Computer-assisted proofs of special function identities related to Poisson integrals

DOI10.1007/s11139-009-9165-1zbMath1182.33017OpenAlexW2075899140MaRDI QIDQ1037567

Flavia Stan

Publication date: 16 November 2009

Published in: The Ramanujan Journal (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11139-009-9165-1

Mathematics Subject Classification ID

Orthogonal polynomials and functions of hypergeometric type (Jacobi, Laguerre, Hermite, Askey scheme, etc.) (33C45) Multiple sequences and series (40B05) Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.) (33F10)

Related Items

Extended Zeilberger's algorithm for identities on Bernoulli and Euler polynomials

Uses Software

• GeneratingFunctions
• MultiSum

Cites Work

• A fast algorithm for proving terminating hypergeometric identities
• A computer proof of a series evaluation in terms of harmonic numbers
• A \textit{Mathematica} version of Zeilberger's algorithm for proving binomial coefficient identities
• Unnamed Item
• Unnamed Item