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
