@misc{indiciae1efaf349c2a4,
  title = {Comparative Verification of the Digital Library of Mathematical Functions and Computer Algebra Systems},
  author = {André Greiner-Petter and Howard S. Cohl and Abdou Youssef and Moritz Schubotz and Avi Trost and Rajen Dey and Akiko Aizawa and Bela Gipp},
  year = {2022},
  doi = {10.1007/978-3-030-99524-9\_5},
  url = {https://arxiv.org/abs/2201.09488},
  note = {Source identifier: 2201.09488}
}