Pages that link to "Item:Q2409012"
From MaRDI portal
The following pages link to New order bounds in differential elimination algorithms (Q2409012):
Displaying 9 items.
- A bound for the Rosenfeld-Gröbner algorithm (Q928772) (← links)
- Effective bounds for the consistency of differential equations (Q1635272) (← links)
- New bounds and an efficient algorithm for sparse difference resultants (Q2029018) (← links)
- Computer-assisted proofs of congruences for multipartitions and divisor function convolutions, based on methods of differential algebra (Q2070374) (← links)
- On the algorithmic linearizability of nonlinear ordinary differential equations (Q2284947) (← links)
- Bounds for Orders of Derivatives in Differential Elimination Algorithms (Q2985833) (← links)
- Orders of derivatives in decomposition of radical differential ideals (Q3600808) (← links)
- (Q4971261) (← links)
- Algorithms yield upper bounds in differential algebra (Q5879624) (← links)
