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

04/20/2022
by   Dmitry A. Skorik, et al.
0

The work is devoted to the construction of a new interval arithmetic which would combine algorithmic efficiency and high quality estimation of the ranges of expressions.

READ FULL TEXT

page 1

page 11

page 30

page 40

research
03/15/2019

Numerical computation of formal solutions to interval linear systems of equations

The work is devoted to the development of numerical methods for computin...
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
10/14/2021

Root Finding With Interval Arithmetic

We consider the solution of nonlinear equations in one real variable, th...
research
11/02/2020

Rounding Error Analysis of Linear Recurrences Using Generating Series

We develop a toolbox for the error analysis of linear recurrences with c...
research
12/09/2021

The Fundamental Limits of Interval Arithmetic for Neural Networks

Interval analysis (or interval bound propagation, IBP) is a popular tech...
research
05/08/2023

Explicit Model Construction for Saturated Constrained Horn Clauses

Clause sets saturated by hierarchic superposition do not offer an explic...

Please sign up or login with your details

Forgot password? Click here to reset