Constrained Interval Arithmetic

This paper presents an approach to solving the long-standing dependency problem in internal arithmetic. An extension to internal arithmetic, called here constrained internal arithmetic, is developed. Unlike interval arithmetic, constrained internal arithmetic has an additive inverse, a multiplicative inverse and satisfies the distributive law. This means that the algebraic structure of constrained interval arithmetic is different than that of interval arithmetic. The applicability of constrained interval arithmetic is explored.