Real root isolation for exp-log-arctan functions

DOI10.1016/j.jsc.2011.11.004zbMath1244.65070OpenAlexW2102283069MaRDI 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

algorithmnumerical exampleselementary functionssolving equationsreal root isolationexp-log-arctan functions

Mathematics Subject Classification ID

Numerical computation of solutions to single equations (65H05) Numerical computation of roots of polynomial equations (65H04)

Related Items (8)

Certified numerical real root isolation for bivariate nonlinear systems ⋮ A symbolic-numerical algorithm for isolating real roots of certain radical expressions ⋮ A near-optimal subdivision algorithm for complex root isolation based on the Pellet test and Newton iteration ⋮ 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 ⋮ Automated proof of mixed trigonometric-polynomial inequalities ⋮ TOPOLOGY OF FAMILIES OF ALGEBRAIC CURVES CONTINUOUSLY DEPENDING ON A PARAMETER, AND APPLICATIONS

Uses Software

• Mathematica

Cites Work

• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Real root isolation for exp-log-arctan functions