Computer-Assisted Proofs of Some Identities for Bessel Functions of Fractional Order
arXiv:1305.4818 · doi:10.1007/978-3-7091-1616-6_3
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.
arXiv commentFinal version, some typos were corrected. 21 pages, uses svmult.cls