1.1 Summer 2024

Started January 6 2024, Completed April 19, 2024.

Updated May 20, 2024 to use new GIAC 1.9-0.99, update from 1.9-0.97.

Main page is here

The following are the CAS systems tested:

1. Mathematica 14 (January 9, 2024) on windows 10
2. Rubi 4.17.3 (Sept 25, 2023) on Mathematica 14 on windows 10
3. Maple 2024 on windows 10
4. Maxima 5.47 (June 1, 2023) using Lisp SBCL 2.4.0 on Linux Manjaro 23.1.2 KDE via sagemath 10.3
5. FriCAS 1.3.10 built with sbcl 2.3.11 (January 10, 2024) on Linux Manjaro 23.1.2 KDE via sagemath 10.3
6. Giac/Xcas 1.9.0-99 on Linux via sagemath 10.3
7. Sympy 1.12 using Python 3.11.6 (Nov 14 2023, 09:36:21) [GCC 13.2.1 20230801] on Linux Manjaro 23.1.2 KDE
8. Mupad using Matlab 2021a with Symbolic Math Toolbox Version 8.7 on windows 10
9. Reduce CSL rev 6687 (January 9, 2024) on Linux Manjaro 23.1.2 KDE

Verification of anti-derivative implemented only for Mathematica, Rubi and Maple.

Maxima and Fricas and Giac are called using Sagemath. This was done using Sagemath integrate command by changing the name of the algorithm to use the different CAS systems.

Sympy was run directly in Python not via sagemath. Reduce was run directly.

The following report shows how to interface to the data generated using SQLite3 Summer 2024 database