The following pages link to (Q4425662):
Displaying 33 items.
- Algorithmic problems for differential polynomial algebras (Q267385) (← links)
- Computing constraint sets for differential fields (Q402682) (← links)
- Algorithmic Thomas decomposition of algebraic and differential systems (Q432753) (← links)
- Term-ordering free involutive bases (Q480676) (← links)
- A normal form algorithm for regular differential chains (Q541963) (← links)
- Differential algebra for derivations with nontrivial commutation rules (Q557066) (← links)
- Under- and overdetermined systems of differential equations (Q601782) (← links)
- Singularities of algebraic differential equations (Q820936) (← links)
- Lagrangian constraints and differential Thomas decomposition (Q895971) (← links)
- A bound for the Rosenfeld-Gröbner algorithm (Q928772) (← links)
- On the spectral parameter problem (Q966472) (← links)
- Probabilistic algorithms for computing resolvent representations of regular differential ideals (Q985372) (← links)
- Algebraic transformation of differential characteristic decompositions from one ranking to another (Q1008569) (← links)
- Differential invariants of a Lie group action: syzygies on a generating set (Q1008571) (← links)
- Implicit Riquier bases for PDAE and their semi-discretizations (Q1025399) (← links)
- Computing differential characteristic sets by change of ordering (Q1034554) (← links)
- Specifications for triangulation algorithms of elementary-algebraic systems (Q1598480) (← links)
- Rational general solutions of systems of first-order algebraic partial differential equations (Q1678116) (← links)
- Elimination theory in differential and difference algebra (Q1730314) (← links)
- An equivalence theorem for regular differential chains (Q1733300) (← links)
- Algebraic construction and numerical behavior of a new s-consistent difference scheme for the 2D Navier-Stokes equations (Q1740113) (← links)
- A short contribution to the theory of regular chains (Q2035618) (← links)
- A bound for orders in differential Nullstellensatz (Q2267443) (← links)
- On the algorithmic linearizability of nonlinear ordinary differential equations (Q2284947) (← links)
- On the consistency analysis of finite difference approximations (Q2307971) (← links)
- A triangular decomposition algorithm for differential polynomial systems with elementary computation complexity (Q2400459) (← links)
- New order bounds in differential elimination algorithms (Q2409012) (← links)
- Universal characteristic decomposition of radical differential ideals (Q2481473) (← links)
- On the complexity of the resolvent representation of some prime differential ideals (Q2496182) (← links)
- Sufficient set of integrability conditions of an orthonomic system (Q2655286) (← links)
- The Maple package TDDS for computing Thomas decompositions of systems of nonlinear PDEs (Q6043324) (← links)
- Differential Elimination for Dynamical Models via Projections with Applications to Structural Identifiability (Q6043379) (← links)
- On the partial differential Lüroth's theorem (Q6170782) (← links)
