Main page is here
Completed August 21, 2022.
Frozen effective March 27,2023.
No changes will be made to this version. See above for current version.
Number of integrals 85,483 with grading for all CAS systems except for Mupad.
Verification of anti-derivative implemented only for Mathematica, Rubi.
The test integrals used are made of the following 210 files.
These 8 CAS systems are used:
The following Summer 2022 regression reports shows the integrals which failed in current summer 2022 build but passed in summer 2021 build. This was done for each CAS which changed version since last year.
The following Summer 2022 progress reports shows the integrals which were solved in current summer 2022 build but failed in summer 2021 build. This was done for each CAS which has a changed version since last year.
The following report shows how to interface to the data generated using SQLite3 Summer 2022 database