Comparative Verification of the Digital Library of Mathematical Functions and Computer Algebra Systems. - André Greiner-Petter; Howard S. Cohl; Abdou Youssef; Moritz Schubotz; Avi Trost; Rajen Dey; Akiko Aizawa; Bela Gipp (TACAS (1), 2022)