S. Gerhold, M. Kauers, C. Koutschan, P. Paule, C. Schneider and B. Zimmermann. Computer-assisted proofs of some identities for Bessel functions of fractional order.
In Computer Algebra in Quantum Field Theory: Integration, Summation and Special Functions, Carsten Schneider, Johannes Blümlein (editors), Texts & Monographs in Symbolic Computation, pp. 75–96, 2013.
ASIdentities.pdf
—
PDF document,
199 KB (203857 bytes)