Real root isolation for exp-log-arctan functions

DOI10.1016/j.jsc.2011.11.004zbMath1244.65070MaRDI QIDQ765861

Adam Wojciech Strzeboński

Publication date: 22 March 2012

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jsc.2011.11.004

zbMATH Keywords

algorithm; numerical examples; elementary functions; solving equations; real root isolation; exp-log-arctan functions

Mathematics Subject Classification ID

65H05: Numerical computation of solutions to single equations

65H04: Numerical computation of roots of polynomial equations

Related Items

TOPOLOGY OF FAMILIES OF ALGEBRAIC CURVES CONTINUOUSLY DEPENDING ON A PARAMETER, AND APPLICATIONS, Computing the topology of the image of a parametric planar curve under a birational transformation, Isolating all the real roots of a mixed trigonometric-polynomial, Deciding first-order formulas involving univariate mixed trigonometric-polynomials, A near-optimal subdivision algorithm for complex root isolation based on the Pellet test and Newton iteration, Certified numerical real root isolation for bivariate nonlinear systems, Automated proof of mixed trigonometric-polynomial inequalities, A symbolic-numerical algorithm for isolating real roots of certain radical expressions

Uses Software

• Mathematica

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The elementary theory of restricted analytic fields with exponentiation
• How to recognize zero?
• A theorem of the complement and some new o-minimal structures
• Polynomial Minimum Root Separation
• Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function