Publication:5585594
From MaRDI portal
zbMath0191.38203MaRDI QIDQ5585594
Publication date: 1962
Related Items
The Maple package TDDS for computing Thomas decompositions of systems of nonlinear PDEs, Algorithmic Thomas decomposition of algebraic and differential systems, Term-ordering free involutive bases, A test for monomial containment, Singularities of algebraic differential equations, Rational general solutions of systems of first-order algebraic partial differential equations, A logic based approach to finding real singularities of implicit ordinary differential equations, On the algorithmic linearizability of nonlinear ordinary differential equations, Thomas Decomposition of Algebraic and Differential Systems