Pages that link to "Item:Q650841"
From MaRDI portal
The following pages link to Cylindrical decomposition for systems transcendental in the first variable (Q650841):
Displayed 4 items.
- Quantifier elimination for a class of exponential polynomial formulas (Q480651) (← links)
- Special algorithm for stability analysis of multistable biological regulatory systems (Q2343243) (← links)
- Positive root isolation for poly-powers by exclusion and differentiation (Q2409014) (← links)
- Real quantifier elimination for the synthesis of optimal numerical algorithms (case study: square root computation) (Q2635072) (← links)