License
when quoting this document, please refer to the following
URN: urn:nbn:de:0030-drops-14342
URL: http://drops.dagstuhl.de/opus/volltexte/2008/1434/

Wolff von Gudenberg, Jürgen

Interval Arithmetic and Standardization

pdf-format:
Dokument 1.pdf (140 KB) Dokument 2.pdf (197 KB)
pdf gepackt:
Dokument1.zip (300 KB)


Abstract

Interval arithmetic is arithmetic for continuous sets. Floating-point intervals are intervals of real numbers with floating-point bounds. Operations for intervals can be efficiently implemented. There is an unanimous agreement, how to define the basic operations, if we exclude division by an interval containing zero. Hence, it should be standardized. For division by zero, two options are possible, the clean exception free interval arithmetic or the containment arithmetic. They can be standardized as options. Elementary functions for intervals can be defined. In some application areas loose evaluation of functions, i.e. evaluation over an interval which is not completely contained in the function domain, is recommended, In this case, however, a discontinuity flag has to be set to inform that Brouwer's fixed point theorem is no longer applicable in that case.

BibTeX - Entry

@InProceedings{wolffvongudenberg:DSP:2008:1434,
  author =	{J{\"u}rgen Wolff von Gudenberg},
  title =	{Interval Arithmetic and Standardization},
  booktitle =	{Numerical Validation in Current Hardware Architectures},
  year =	{2008},
  editor =	{Annie Cuyt and Walter Kr{\"a}mer and Wolfram Luther and Peter Markstein},
  number =	{08021},
  series =	{Dagstuhl Seminar Proceedings},
  ISSN =	{1862-4405},
  publisher =	{Internationales Begegnungs- und Forschungszentrum f{\"u}r Informatik (IBFI), Schloss Dagstuhl, Germany},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2008/1434},
  annote =	{Keywords: Intervals, containment sets, IEEE754r}
}

Keywords: Intervals, containment sets, IEEE754r
Seminar: 08021 - Numerical Validation in Current Hardware Architectures
Issue date: 2008
Date of publication: 22.04.2008


DROPS-Home | Fulltext Search | Imprint Published by LZI