Pages that link to "Item:Q907329"
From MaRDI portal
The following pages link to On bounds for the effective differential Nullstellensatz (Q907329):
Displaying 5 items.
- 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)
- New order bounds in differential elimination algorithms (Q2409012) (← links)
- Estimates for the coefficients of differential dimension polynomials (Q5226667) (← links)
