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

LPN13-079 Computer-Assisted Proofs of Some Identities for Bessel Functions of Fractional Order
S. Gerhold, M. Kauers, C. Koutschan, P. Paule, C. Schneider, B. Zimmermann
Computer Algebra in Quantum Field Theory: Integration, Summation and Special Functions, Texts and Monographs in Symbolic Computation, Springer 1 75-96 2013
arXiv