AlgebraicThomas

MaRDI QIDQ23400swMATHFDO

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

Cited in

(16)

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

This page was built for software: AlgebraicThomas