@misc{indiciaee781b15533d7, title = {Automated Symbolic and Numerical Testing of DLMF Formulae using Computer Algebra Systems}, author = {Howard S. Cohl and André Greiner-Petter and Moritz Schubotz}, year = {2021}, doi = {10.1007/978-3-319-96812-4\_4}, url = {https://arxiv.org/abs/2109.08899}, note = {Source identifier: 2109.08899} }