×

DifferentialThomas

swMATH ID: 8610
Software Authors: Bächler, T.; Lange-Hegermann, M.
Description: Thomas Decomposition: Der Thomas-Algorithmus konstruiert eine Zerlegung von Systemen algebraischer oder differentieller Gleichungen und Ungleichungen in einfache Systeme.
Homepage: https://wwwb.math.rwth-aachen.de/thomasdecomposition/
Dependencies: Maple
Related Software: Maple; Janet; AlgebraicThomas; RegularChains; DIFFALG; TDDS; SINGULAR; SADE; OreMorphisms; Jets; OreModules; homalg; Plural; DifferentialAlgebra; PDEtools; Ginv; GAP; gitfan.lib; polymake; QuillenSuslin
Cited in: 29 Publications

Citations by Year