TY  - RPRT
TI  - Comparative Verification of the Digital Library of Mathematical Functions and Computer Algebra Systems
AU  - André Greiner-Petter
AU  - Howard S. Cohl
AU  - Abdou Youssef
AU  - Moritz Schubotz
AU  - Avi Trost
AU  - Rajen Dey
AU  - Akiko Aizawa
AU  - Bela Gipp
PY  - 2022
DO  - 10.1007/978-3-030-99524-9_5
UR  - https://arxiv.org/abs/2201.09488
ID  - 2201.09488
ER  -