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

Browse the full TACAS paper archive.