Real root isolation for exp-log-arctan functions
DOI10.1016/J.JSC.2011.11.004zbMATH Open1244.65070OpenAlexW2102283069MaRDI QIDQ765861FDOQ765861
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
numerical examplesalgorithmsolving equationselementary functionsreal root isolationexp-log-arctan functions
Numerical computation of roots of polynomial equations (65H04) Numerical computation of solutions to single equations (65H05)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- The elementary theory of restricted analytic fields with exponentiation
- Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function
- A theorem of the complement and some new o-minimal structures
- Polynomial Minimum Root Separation
- How to recognize zero?
Cited In (9)
- 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
- Reachability analysis of linear systems
- 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
- Certified numerical real root isolation for bivariate nonlinear systems
- TOPOLOGY OF FAMILIES OF ALGEBRAIC CURVES CONTINUOUSLY DEPENDING ON A PARAMETER, AND APPLICATIONS
- Automated proof of mixed trigonometric-polynomial inequalities
Uses Software
Recommendations
- Title not available (Why is that?) ๐ ๐
- Title not available (Why is that?) ๐ ๐
- Title not available (Why is that?) ๐ ๐
- Logcf: an efficient tool for real root isolation ๐ ๐
- Real root isolation for tame elementary functions ๐ ๐
- A new method for real root isolation of univariate polynomials ๐ ๐
- Approximate root isolation for nonlinear systems by Monte-Carlo ๐ ๐
- A symbolic-numerical algorithm for isolating real roots of certain radical expressions ๐ ๐
- Real Root Isolation of Multi-Exponential Polynomials with Application ๐ ๐
- A New RootโFinding Algorithm Using Exponential Series ๐ ๐
This page was built for publication: Real root isolation for exp-log-arctan functions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q765861)
