Pages that link to "Item:Q654031"
From MaRDI portal
The following pages link to Deciding polynomial-transcendental problems (Q654031):
Displaying 10 items.
- Quantifier elimination for a class of exponential polynomial formulas (Q480651) (← links)
- Exact solutions in log-concave maximum likelihood estimation (Q2104907) (← links)
- Automated proof of mixed trigonometric-polynomial inequalities (Q2188988) (← links)
- A conflict-driven solving procedure for poly-power constraints (Q2303230) (← links)
- NIL: learning nonlinear interpolants (Q2305413) (← 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)
- On the zeros of univariate E-polynomials (Q6070540) (← links)
- Decision problem for a class of univariate Pfaffian functions (Q6122406) (← links)
- On the set of reduced states of translation invariant, infinite quantum systems (Q6123420) (← links)
