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 7 items.
- Quantifier elimination for a class of exponential polynomial formulas (Q480651) (← links)
- Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants (Q2331077) (← 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)
- Isolating all the real roots of a mixed trigonometric-polynomial (Q6051116) (← links)
- Deciding first-order formulas involving univariate mixed trigonometric-polynomials (Q6060361) (← links)