Pages that link to "Item:Q2267443"
From MaRDI portal
The following pages link to A bound for orders in differential Nullstellensatz (Q2267443):
Displayed 19 items.
- Linear sparse differential resultant formulas (Q389711) (← links)
- Localization of Rota-Baxter algebras (Q392403) (← links)
- Differential elimination by differential specialization of Sylvester style matrices (Q895967) (← links)
- A decision method for the integrability of differential-algebraic Pfaffian systems (Q895975) (← links)
- Effective uniform bounding in partial differential fields (Q900852) (← links)
- On bounds for the effective differential Nullstellensatz (Q907329) (← links)
- New effective differential Nullstellensatz (Q908094) (← links)
- Effective bounds for the consistency of differential equations (Q1635272) (← links)
- Proof mining and effective bounds in differential polynomial rings (Q1711923) (← links)
- Elimination theory in differential and difference algebra (Q1730314) (← links)
- Nonstandard methods for bounds in differential polynomial rings (Q1758177) (← links)
- An upper bound for minimizing coefficients of the Kolchin dimension polynomial (Q1956954) (← links)
- Symmetry-based algorithms for invertible mappings of polynomially nonlinear PDE to linear PDE (Q2035626) (← links)
- Multiplicity-preserving triangular set decomposition of two polynomials (Q2341596) (← links)
- Sparse differential resultant for Laurent differential polynomials (Q2351806) (← links)
- A triangular decomposition algorithm for differential polynomial systems with elementary computation complexity (Q2400459) (← links)
- New order bounds in differential elimination algorithms (Q2409012) (← links)
- Effective differential Nullstellensatz for ordinary DAE systems with constant coefficients (Q2509948) (← links)
- Algorithms yield upper bounds in differential algebra (Q5879624) (← links)