Pages that link to "Item:Q2985833"
From MaRDI portal
The following pages link to Bounds for Orders of Derivatives in Differential Elimination Algorithms (Q2985833):
Displaying 7 items.
- Order bounds for second derivative approximations (Q438733) (← links)
- A bound for the Rosenfeld-Gröbner algorithm (Q928772) (← links)
- Proof mining and effective bounds in differential polynomial rings (Q1711923) (← links)
- New order bounds in differential elimination algorithms (Q2409012) (← links)
- (Q3416397) (← links)
- Orders of derivatives in decomposition of radical differential ideals (Q3600808) (← links)
- Algorithms yield upper bounds in differential algebra (Q5879624) (← links)