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 |