TY  - CONF
AU  - Howard Cohl
AU  - Moritz Schubotz
AU  - Andre Greiner
C2  - Lecture Notes in Computer Science; Intelligent Computer Mathematics, Hagenberg, -1
DA  - 2018-07-18
DO  - https://doi.org/10.1007/978-3-319-96812-4_4
LA  - en
M1  - 11006
PB  - Lecture Notes in Computer Science; Intelligent Computer Mathematics, Hagenberg, -1
PY  - 2018
TI  - Automated Symbolic and Numerical Testing of DLMF Formulae using Computer Algebra Systems
ER  -