License: Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagSemProc.08021.14
URN: urn:nbn:de:0030-drops-14342
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2008/1434/
Go to the corresponding Portal

Wolff von Gudenberg, Jürgen

Interval Arithmetic and Standardization

pdf-format:
08021.WolffvonGudenbergJuergen.ExtAbstract.1434.pdf (0.1 MB) 08021.WolffvonGudenbergJuergen.Paper.1434.pdf (0.2 MB)
pdf compressed:
Dokument1.zip (0.3 MB)

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:DagSemProc.08021.14,
  author =	{Wolff von Gudenberg, J\"{u}rgen},
  title =	{{Interval Arithmetic and Standardization}},
  booktitle =	{Numerical Validation in Current Hardware Architectures},
  pages =	{1--14},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2008},
  volume =	{8021},
  editor =	{Annie Cuyt and Walter Kr\"{a}mer and Wolfram Luther and Peter Markstein},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/opus/volltexte/2008/1434},
  URN =		{urn:nbn:de:0030-drops-14342},
  doi =		{10.4230/DagSemProc.08021.14},
  annote =	{Keywords: Intervals, containment sets, IEEE754r}
}

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

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI