swMATH11458MaRDI QIDQ23400FDOQ23400
Author name not available (Why is that?)
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
- Formal algorithmic elimination for PDEs
- Janet
- BLAD
- DifferentialThomas
- DIFFALG
- Jets
- primdec
- InvolutiveBases
- Lagrangian constraints and differential Thomas decomposition
- TDDS
- Formal algorithmic elimination for PDEs
This page was built for software: AlgebraicThomas
