TY  - RPRT
TI  - Computer-Assisted Proofs of Some Identities for Bessel Functions of Fractional Order
AU  - Stefan Gerhold
AU  - Manuel Kauers
AU  - Christoph Koutschan
AU  - Peter Paule
AU  - Carsten Schneider
AU  - Burkhard Zimmermann
PY  - 2013
DO  - 10.1007/978-3-7091-1616-6_3
UR  - https://arxiv.org/abs/1305.4818
ID  - 1305.4818
ER  -