1 research outputs found
Towards an Axiomatization of Interval Arithmetic
In this paper intervals are viewed as approximate real numbers. A revised formula for interval multiplication of generalized intervals is given. This formula will be useful for further axiomatization of interval arithmetic and relevant implementations within computer algebra systems. Relations between multiplication of numbers and multiplication of errors are discussed