Pages that link to "Item:Q480651"
From MaRDI portal
The following pages link to Quantifier elimination for a class of exponential polynomial formulas (Q480651):
Displaying 5 items.
- Exact solutions in log-concave maximum likelihood estimation (Q2104907) (← links)
- A conflict-driven solving procedure for poly-power constraints (Q2303230) (← links)
- Positive root isolation for poly-powers by exclusion and differentiation (Q2409014) (← links)
- Isolating all the real roots of a mixed trigonometric-polynomial (Q6051116) (← links)
- Decision problem for a class of univariate Pfaffian functions (Q6122406) (← links)
