Pages that link to "Item:Q908094"
From MaRDI portal
The following pages link to New effective differential Nullstellensatz (Q908094):
Displaying 13 items.
- Effective bounds for the consistency of differential equations (Q1635272) (← links)
- Products of ideals and jet schemes (Q1706233) (← 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)
- Combinatorial differential algebra of \(x^p\) (Q2156366) (← links)
- A bound for orders in differential Nullstellensatz (Q2267443) (← links)
- New order bounds in differential elimination algorithms (Q2409012) (← links)
- Effective differential Nullstellensatz for ordinary DAE systems with constant coefficients (Q2509948) (← links)
- On the Differential and Full Algebraic Complexities of Operator Matrices Transformations (Q2829987) (← links)
- Algorithms yield upper bounds in differential algebra (Q5879624) (← links)
- Dynamical method in algebra: Effective Nullstellensätze (Q5946086) (← links)
- Advances in elimination theory for algebraic differential and difference equations (Q6660312) (← links)