@incollection{GKKPSZ13,
author = {Stefan Gerhold and Manuel Kauers and Christoph Koutschan and Peter Paule and Carsten Schneider and Burkhard Zimmermann},
title = {Computer-assisted proofs of~some~identities for~{B}essel~functions of~fractional~order},
booktitle = {Computer Algebra in Quantum Field Theory: Integration, Summation and Special Functions},
editor = {Carsten Schneider and Johannes Bl\"umlein},
series = {Texts \& Monographs in Symbolic Computation},
pages = {75--96},
year = {2013},
publisher = {Springer},
address = {Wien},
isbn_issn = {ISBN 978-3-7091-1615-9},
doi = {10.1007/978-3-7091-1616-6_3},
}