Real root isolation for exp-log-arctan functions
From MaRDI portal
Publication:765861
DOI10.1016/j.jsc.2011.11.004zbMath1244.65070OpenAlexW2102283069MaRDI QIDQ765861
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
algorithmnumerical exampleselementary functionssolving equationsreal root isolationexp-log-arctan functions
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
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