Back to Search
Start Over
Computer-Assisted Proofs of Some Identities for Bessel Functions of Fractional Order
- Source :
- In Carsten Schneider and Johannes Bluemlein (eds.): Computer Algebra in Quantum Field Theory: Integration, Summation and Special Functions. Texts & Monographs in Symbolic Computation, Springer-Verlag Wien 2013
- Publication Year :
- 2013
-
Abstract
- We employ computer algebra algorithms to prove a collection of identities involving Bessel functions with half-integer orders and other special functions. These identities appear in the famous Handbook of Mathematical Functions, as well as in its successor, the DLMF, but their proofs were lost. We use generating functions and symbolic summation techniques to produce new proofs for them.<br />Comment: Final version, some typos were corrected. 21 pages, uses svmult.cls
- Subjects :
- Computer Science - Symbolic Computation
Subjects
Details
- Database :
- arXiv
- Journal :
- In Carsten Schneider and Johannes Bluemlein (eds.): Computer Algebra in Quantum Field Theory: Integration, Summation and Special Functions. Texts & Monographs in Symbolic Computation, Springer-Verlag Wien 2013
- Publication Type :
- Report
- Accession number :
- edsarx.1305.4818
- Document Type :
- Working Paper
- Full Text :
- https://doi.org/10.1007/978-3-7091-1616-6_3