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: