@**incollection**{RISC4721,author = {S. Gerhold and M. Kauers and C. Koutschan and P. Paule and C. Schneider and B. Zimmermann},

title = {{Computer-Assisted Proofs of Some Identities for Bessel Functions of Fractional Order}},

booktitle = {{Computer Algebra in Quantum Field Theory: Integration, Summation and Special Functions}},

language = {english},

series = {Texts and Monographs in Symbolic Computation},

pages = {75--96},

publisher = {Springer},

isbn_issn = {ISBN-13: 978-3709116159},

year = {2013},

note = {arXiv:1305.4818 [cs.SC]},

editor = {C. Schneider and J. Bluemlein},

refereed = {no},

length = {22},

url = {http://arxiv.org/abs/1305.4818}

}