AlgebraicThomas

swMATH11458MaRDI QIDQ23400FDOQ23400

Official website http://wwwb.math.rwth-aachen.de/thomasdecomposition/

Cited in

(16)

• Formal algorithmic elimination for PDEs
• Algorithmic Thomas decomposition of algebraic and differential systems
• Singularities of algebraic differential equations
• Ginv
• Lagrangian constraints and differential Thomas decomposition
• ALLTYPES
• Janet
• BLAD
• DifferentialThomas
• DIFFALG
• Jets
• primdec
• InvolutiveBases
• TDDS
• Thomas decomposition of algebraic and differential systems
• Formal algorithmic elimination for PDEs

This page was built for software: AlgebraicThomas