@conference{260791,
  author = {Howard Cohl and Moritz Schubotz and Andre Greiner},
  title = {Automated Symbolic and Numerical Testing of DLMF Formulae using Computer Algebra Systems},
  year = {2018},
  number = {11006},
  month = {2018-07-18},
  publisher = {Lecture Notes in Computer Science; Intelligent Computer Mathematics, Hagenberg, -1},
  doi = {https://doi.org/10.1007/978-3-319-96812-4_4},
  language = {en},
}