Computer-Assisted Proofs of Some Identities for Bessel Functions of Fractional Order. (arXiv:1305.4818v2 [cs.SC] UPDATED)

Journal reference: 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

View the original article here