Root Finding With Interval Arithmetic

10/14/2021
by   Walter F. Mascarenhas, et al.
0

We consider the solution of nonlinear equations in one real variable, the problem usually called by root finding. Although this is an old problem, we believe that some aspects of its solution using interval arithmetic are not well understood, and we present our views on this subject. We argue that problems with just one variable are much simpler than problems with more variables, and we should use specific methods for them. We provide an implementation of our ideas in C++, and make this code available under the Mozilla Public License 2.0.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
12/12/2019

Evaluation of Chebyshev polynomials on intervals and application to root finding

In approximation theory, it is standard to approximate functions by poly...
research
04/20/2022

Development of linear functional arithmetic and its applications to the solution of interval linear systems with constraints

The work is devoted to the construction of a new interval arithmetic whi...
research
01/03/2018

Towards platform-independent verification of the standard mathematical functions: the square root function

The paper presents (human-oriented) specification and (pen-and-paper) ve...
research
10/26/2022

Development of linear functional arithmetic and its application to solving problems of interval analysis

The work is devoted to the construction of a new type of intervals – fun...
research
09/11/2003

Using Propagation for Solving Complex Arithmetic Constraints

Solving a system of nonlinear inequalities is an important problem for w...
research
08/21/2023

About the ”accurate mode” of the IEEE 1788-2015 standard for interval arithmetic

The IEEE 1788-2015 standard for interval arithmetic defines three accura...
research
01/28/2019

A Faster Solution to Smale's 17th Problem I: Real Binomial Systems

Suppose F:=(f_1,…,f_n) is a system of random n-variate polynomials with ...

Please sign up or login with your details

Forgot password? Click here to reset