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.

Documentation as PDF

Download source

Examples

A number of examples files for benchmarks between the differential Thomas decomposition, diffalg and DifferentialAlgebra.