Pages that link to "Item:Q907329"
From MaRDI portal
The following pages link to On bounds for the effective differential Nullstellensatz (Q907329):
Displaying 17 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)
- Nonstandard methods for bounds in differential polynomial rings (Q1758177) (← links)
- An upper bound for minimizing coefficients of the Kolchin dimension polynomial (Q1956954) (← 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)
- A footnote to a result of Sturmfels-Trung-Vogel on the effective Nullstellensatz (Q2734107) (← links)
- Variants of the Effective Nullstellensatz and Residue Calculus (Q2911815) (← links)
- (Q3792780) (← links)
- (Q4386035) (← links)
- A c-holomorphic effective Nullstellensatz with parameter (Q4566183) (← links)
- Explicit degree bounds for right factors of linear differential operators (Q4996891) (← links)
- Estimates for the coefficients of differential dimension polynomials (Q5226667) (← links)
- Algorithms yield upper bounds in differential algebra (Q5879624) (← links)
- Towards an effective version of a theorem of Stafford (Q5960301) (← links)