The Packages AlgebraicThomas and DifferentialThomas
We present the current version of the Maple packages AlgebraicThomas and DifferentialThomas.
This package contains the DifferentialThomas library and help files for Maple 11 and later. It is released under the GNU LPGL license. If there are any questions or problems, please feel free to contact Markus Lange-Hegermann.
A number of examples files for benchmarks between the differential Thomas decomposition, diffalg and DifferentialAlgebra.