Pages that link to "Item:Q2509948"
From MaRDI portal
The following pages link to Effective differential Nullstellensatz for ordinary DAE systems with constant coefficients (Q2509948):
Displaying 9 items.
- Effective difference elimination and nullstellensatz (Q783738) (← 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)
- New order bounds in differential elimination algorithms (Q2409012) (← links)
