Verifying DLMF with Maple and Mathematica
This page presents the results of the publication Comparative Verification of the Digital Library of Mathematical Functions and Computer Algebra Systems.
Bug Reports
You can find a PDF with commands that illustrate the encountered errors in Mathematica here: File:Mathematica Bugs Overview.pdf
We provide the same file as the Wolfram system notebook format (NB) here: File:Mathematica Bugs Notebook File.nb
DLMF Translations and Results
In the following, we present the translations of the DLMF equations to the CAS Maple and Mathematica.