The following pages link to (Q4237405):
Displaying 8 items.
- Quantifier elimination for a class of exponential polynomial formulas (Q480651) (← links)
- On symbolic-numeric solving of sine-polynomial equations. (Q1977148) (← links)
- Positive root isolation for poly-powers by exclusion and differentiation (Q2409014) (← links)
- BEAMS ON TENSIONLESS ELASTIC FOUNDATION: APPROXIMATE QUANTIFIER ELIMINATION WITH CHEBYSHEV SERIES (Q4871659) (← links)
- Zero counting for a class of univariate Pfaffian functions (Q5964515) (← links)
- Isolating all the real roots of a mixed trigonometric-polynomial (Q6051116) (← links)
- On the zeros of univariate E-polynomials (Q6070540) (← links)
- Decision problem for a class of univariate Pfaffian functions (Q6122406) (← links)