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

DOI10.1007/S11139-009-9165-1MaRDI QIDQ1037567zbMATH OpenOpenAlexFDO

Authors 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) Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.) (33F10) Multiple sequences and series (40B05)

Recommendations

• Computer-Assisted Proofs of Some Identities for Bessel Functions of Fractional Order
• An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)) multisum/integral identities
• Rational function certification of multisum/integral/“𝑞” identities
• What is \dots a Wilf-Zeilberger pair?
• Three recitations on holonomic systems and hypergeometric series

Cites work

• A \textit{Mathematica} version of Zeilberger's algorithm for proving binomial coefficient identities
• A computer proof of a series evaluation in terms of harmonic numbers
• A fast algorithm for proving terminating hypergeometric identities
• scientific article; zbMATH DE number 1231230 (Why is no real title available?)
• scientific article; zbMATH DE number 5053647 (Why is no real title available?)

Cited in

(4)

• Extended Zeilberger's algorithm for identities on Bernoulli and Euler polynomials
• A computer proof of a series evaluation in terms of harmonic numbers
• Computer algebra for special function inequalities
• Computer-Assisted Proofs of Some Identities for Bessel Functions of Fractional Order

Describes a project that uses

Uses Software

• GeneratingFunctions
• MultiSum

This page was built for publication: Computer-assisted proofs of special function identities related to Poisson integrals

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