Pages that link to "Item:Q2883838"

The following pages link to Real root isolation for tame elementary functions (Q2883838):

Displaying 9 items.

• Quantifier elimination for a class of exponential polynomial formulas (Q480651) (← links)
• Cylindrical decomposition for systems transcendental in the first variable (Q650841) (← links)
• Deciding polynomial-transcendental problems (Q654031) (← links)
• Certified numerical real root isolation for bivariate nonlinear systems (Q2156364) (← 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)
• A symbolic-numerical algorithm for isolating real roots of certain radical expressions (Q2656085) (← links)
• Isolating all the real roots of a mixed trigonometric-polynomial (Q6051116) (← links)