Real root isolation for exp-log-arctan functions
Using the set of exp-log-arctan functions -- defined as the smallest set of partial functions \(\mathbb{R}\longrightarrow \mathbb{R}\) containing exp, log, arctan, identity and constant functions that are closed under addition, multiplication and composition of functions -- the author proposes a real root isolation procedure which is an extension of an algorithm defined by \textit{A. Strzeboński} [Real root isolation for exp-log functions, Proceedings of the twenty-first international symposium on symbolic and algebraic computation 2008, Linz/Hagenberg, Austria, July 20--23, 2008. New York, NY: Association for Computing Machinery (ACM). 303--314 (2008; Zbl 1236.65057)] for exp-log functions. Basically, the algorithm RootInInterval (defined in Section 5 together with several examples and a detailed study of complexity) offers a new proof of the claim: \textit{The domain of an exp-log-arctan function consists of a finite number of open intervals and an exp-log-arctan function has a finite number of real roots}. The algorithm uses the notion of semi-Fourier sequence and its applicability in root isolation proposed in an unpublished paper by \textit{D. Richardson} [Recognising zero among implicitly defined elementary numbers. (submitted for publication)]. The theoretical construction offered by the paper is finally verified by an implementation using a C source code and Mathematica system. All experimental results confirm the validity of the RootInInterval algorithm proposed.
- Real root isolation for exp-log functions
- Logcf: an efficient tool for real root isolation
- Real root isolation for tame elementary functions
- Real root isolation of multi-exponential polynomials with application
- An improved algorithm for real root isolation of univariate polynomials
- A New Root–Finding Algorithm Using Exponential Series
- A new method for real root isolation of univariate polynomials
- New algorithms for computing a root of non-linear equations using exponential series
- A symbolic-numerical algorithm for isolating real roots of certain radical expressions
- Approximate root isolation for nonlinear systems by Monte-Carlo
- A theorem of the complement and some new o-minimal structures
- How to recognize zero?
- scientific article; zbMATH DE number 3908819 (Why is no real title available?)
- scientific article; zbMATH DE number 3785018 (Why is no real title available?)
- scientific article; zbMATH DE number 3232021 (Why is no real title available?)
- Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function
- Polynomial Minimum Root Separation
- Real root isolation for exp-log functions
- The elementary theory of restricted analytic fields with exponentiation
- 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
- Real root isolation for tame elementary functions
- Positive root isolation for poly-powers
- Real root isolation for exp-log functions
- 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
- Reachability analysis of linear systems
- A generalisation of the Steiner-Lehmus theorem and critical values transcendence of its parameters
- Satisfiability of non-linear transcendental arithmetic as a certificate search problem
- Reduction of transcendental decision problems over the reals
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)
