Pages that link to "Item:Q908094"
From MaRDI portal
The following pages link to New effective differential Nullstellensatz (Q908094):
Displaying 8 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)
- Combinatorial differential algebra of \(x^p\) (Q2156366) (← links)
- New order bounds in differential elimination algorithms (Q2409012) (← links)
- On the Differential and Full Algebraic Complexities of Operator Matrices Transformations (Q2829987) (← links)
- Algorithms yield upper bounds in differential algebra (Q5879624) (← links)