Cited in
(11)- Formal algorithmic elimination for PDEs
- On local integrability conditions of jet groupoids
- Ginv
- OreModules
- DifferentialThomas
- QuillenSuslin
- AlgebraicThomas
- OreMorphisms
- InvolutiveBases
- Recent progress in an algebraic analysis approach to linear systems
- scientific article; zbMATH DE number 1684353 (Why is no real title available?)
This page was built for software: Jets
