AlgebraicThomas

MaRDI QIDQ23400swMATHFDO

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

Cited in

(16)

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

This page was built for software: AlgebraicThomas