Pages that link to "Item:Q765861"

The following pages link to Real root isolation for exp-log-arctan functions (Q765861):

Displaying 7 items.

• A near-optimal subdivision algorithm for complex root isolation based on the Pellet test and Newton iteration (Q1680157) (← links)
• Certified numerical real root isolation for bivariate nonlinear systems (Q2156364) (← links)
• Automated proof of mixed trigonometric-polynomial inequalities (Q2188988) (← links)
• A symbolic-numerical algorithm for isolating real roots of certain radical expressions (Q2656085) (← links)
• TOPOLOGY OF FAMILIES OF ALGEBRAIC CURVES CONTINUOUSLY DEPENDING ON A PARAMETER, AND APPLICATIONS (Q5746934) (← links)
• Computing the topology of the image of a parametric planar curve under a birational transformation (Q6046143) (← links)
• Isolating all the real roots of a mixed trigonometric-polynomial (Q6051116) (← links)