1.2 Summer 2023 build with Rubi V 4.17.3

Main page is here

This build is same as the one below except for using Rubi 4.17.3 instead of 4.16.1. It uses the same 213 tests files as summer 2023 edition.

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

The following are the CAS systems tested:

1. Mathematica 13.3.1 (August 16, 2023) on windows 10.
2. Rubi 4.17.3 (Sept 25, 2023) on Mathematica 13.3.1 on windows 10
3. Maple 2023.1 (July, 12, 2023) on windows 10.
4. Maxima 5.47 (June 1, 2023) using Lisp SBCL 2.3.0 on Linux via sagemath 10.1 (Aug 20, 2023).
5. FriCAS 1.3.9 (July 8, 2023) based on sbcl 2.3.0 on Linux via sagemath 10.1 (Aug 20, 2023).
6. Giac/Xcas 1.9.0-57 (June 26, 2023) on Linux via sagemath 10.1 (Aug 20, 2023).
7. Sympy 1.12 (May 10, 2023) Using Python 3.11.3 on Linux.
8. Mupad using Matlab 2021a with Symbolic Math Toolbox Version 8.7 on windows 10.

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.

The following Rubi regression report shows integrals failed in 4.17.3 but passed in 4.16.1.

The following Rubi reverse regression report shows integrals failed in 4.16.1 but passed in 4.17.3.

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