@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},
}