Interval approximation theory

Abstract

Este trabalho tem como objetivo a resolução de equações à coeficientes intervaiares utilizando a Teoria de Domínios. É definida uma nova igualdade intervalar e definido um corpo dinâmico onde as equações são resolvidas. É também obtida uma condição para não existencia de soluções.

This article deals with the solution of a few types of interval coefficient equations, where we make use of the concepts of approximation and information as seen from Domain Theory. To this end, we introduce a new definition of interval equality, which leads to the construction of a dynamic field, in which the equations are solved. The resulting structure allows a new treatment of both linear and nonlinear interval coefficient systems of equations. As a particular application of the theory developed, we derive a condition for the non-existence of solutions.