Pages that link to "Item:Q2409014"
From MaRDI portal
The following pages link to Positive root isolation for poly-powers by exclusion and differentiation (Q2409014):
Displaying 7 items.
- A conflict-driven solving procedure for poly-power constraints (Q2303230) (← links)
- Real root isolation for tame elementary functions (Q2883838) (← links)
- (Q3075207) (← links)
- (Q5089308) (← links)
- (Q5094125) (← links)
- Isolating all the real roots of a mixed trigonometric-polynomial (Q6051116) (← links)
- Reachability analysis of linear systems (Q6592109) (← links)