Thomas Decomposition
The Packages AlgebraicThomas and DifferentialThomas
We present the current version of the Maple packages AlgebraicThomas and DifferentialThomas.
AlgebraicThomas
This package contains the AlgebraicThomas library and help files for Maple 11 and later. If there are any questions or problems, please feel free to contact Thomas Bächler.
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.
Examples
A number of examples files for benchmarks between the differential Thomas decomposition, diffalg and DifferentialAlgebra.