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.

Download

DifferentialThomas

This package contains the DifferentialThomas library and help files for Maple 11 and later. If there are any questions or problems, please feel free to contact Markus Lange-Hegermann.

Download

Examples

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