Complete Interval Arithmetic and Its Implementation on the Computer

  • Ulrich W. Kulisch
Conference paper

DOI: 10.1007/978-3-642-01591-5_2

Volume 5492 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
Kulisch U.W. (2009) Complete Interval Arithmetic and Its Implementation on the Computer. In: Cuyt A., Krämer W., Luther W., Markstein P. (eds) Numerical Validation in Current Hardware Architectures. Lecture Notes in Computer Science, vol 5492. Springer, Berlin, Heidelberg

Abstract

Let \(I\textit{I \kern-.55em R}\) be the set of closed and bounded intervals of real numbers. Arithmetic in \(I\textit{I \kern-.55em R}\) can be defined via the power set \(\textit{I \kern-.54em P}\textit{I \kern-.55em R}\) of real numbers. If divisors containing zero are excluded, arithmetic in \(I\textit{I \kern-.55em R}\) is an algebraically closed subset of the arithmetic in \(\textit{I \kern-.54em P}\textit{I \kern-.55em R}\), i.e., an operation in \(I\textit{I \kern-.55em R}\) performed in \(\textit{I \kern-.54em P}\textit{I \kern-.55em R}\) gives a result that is in \(I\textit{I \kern-.55em R}\). Arithmetic in \(\textit{I \kern-.54em P}\textit{I \kern-.55em R}\) also allows division by an interval that contains zero. Such division results in closed intervals of real numbers which, however, are no longer bounded. The union of the set \(I\textit{I \kern-.55em R}\) with these new intervals is denoted by \((I\textit{I \kern-.55em R})\). This paper shows that arithmetic operations can be extended to all elements of the set \((I\textit{I \kern-.55em R})\).

Let \(F \subset \textit{I \kern-.55em R}\) denote the set of floating-point numbers. On the computer, arithmetic in \((I\textit{I \kern-.55em R})\) is approximated by arithmetic in the subset (IF) of closed intervals with floating-point bounds. The usual exceptions of floating-point arithmetic like underflow, overflow, division by zero, or invalid operation do not occur in (IF).

Keywords

computer arithmetic floating-point arithmetic interval arithmetic arithmetic standards 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Ulrich W. Kulisch
    • 1
  1. 1.Institut für Angewandte und Numerische MathematikUniversität Karlsruhe