Pages that link to "Item:Q2267443"

The following pages link to A bound for orders in differential Nullstellensatz (Q2267443):

Displaying 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)