Computer-Assisted Proofs of Some Identities for Bessel Functions of Fractional Order

DOI10.1007/978-3-7091-1616-6_3zbMath1311.33003arXiv1305.4818OpenAlexW1606131169MaRDI QIDQ5244917

Stefan Gerhold, Paule, Peter, Burkhard Zimmermann, Christoph Koutschan, Manuel Kauers, Carsten Schneider

Publication date: 1 April 2015

Published in: Texts & Monographs in Symbolic Computation (Search for Journal in Brave)

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

zbMATH Keywords

generating functionssymbolic summation techniques

Mathematics Subject Classification ID

Bessel and Airy functions, cylinder functions, ({}_0F_1) (33C10) Lamé, Mathieu, and spheroidal wave functions (33E10)

Uses Software

• gfun
• DLMF

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The concrete tetrahedron. Symbolic sums, recurrence equations, generating functions, asymptotic estimates
• The method of creative telescoping
• A \textit{Mathematica} version of Zeilberger's algorithm for proving binomial coefficient identities
• An extension of Zeilberger's fast algorithm to general holonomic functions
• Plane partitions. VI: Stembridge's TSPP theorem
• A new Sigma approach to multi-summation
• Symbolic summation assists combinatorics
• The Hartman-Watson Distribution Revisited: Asymptotics for Pricing Asian Options
• GFUN
• Advanced applications of the holonomic systems approach
• The Holonomic Toolkit

This page was built for publication: Computer-Assisted Proofs of Some Identities for Bessel Functions of Fractional Order