The Packages AlgebraicThomas and DifferentialThomas. Maple packages 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.
Keywords for this software
References in zbMATH (referenced in 3 articles )
Showing results 1 to 3 of 3.
- Gerdt, Vladimir P.; Robertz, Daniel: Lagrangian constraints and differential Thomas decomposition (2016)
- Robertz, Daniel: Formal algorithmic elimination for PDEs (2014)
- Bächler, Thomas; Gerdt, Vladimir; Lange-Hegermann, Markus; Robertz, Daniel: Algorithmic Thomas decomposition of algebraic and differential systems (2012)