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.19
URN: urn:nbn:de:0030-drops-14495
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2008/1449/
Go to the corresponding Portal

Neher, Markus

The CoStLy C++ Class Library

pdf-format:
08021.NeherMarkus.Paper.1449.pdf (0.2 MB)

Abstract

CoStLy (ul{Co}mplex ul{St}andard Functions ul{L}ibrarul{y}) has been
developed as a C++ class library for the validated computation of function
values and of ranges of complex standard functions. If performed in exact arithmetic, the inclusion functions for principal branches compute
optimal range bounds. For the sake of accuracy, a major effort has been made in the implementation of the algorithms in floating point arithmetic to eliminate all intermediate expressions subject to numerical overflow, underflow, or cancellation. The CoStLy library has been extensively tested for arguments with absolute values ranging from 1.0E-300 to 1.0E+300. For most arguments, the computed bounds for function values are highly accurate. In many test cases, the observed precision of the result was about 50 correct bits (out of the 53 bits available in IEEE 754 floating point arithmetic) for point arguments.

BibTeX - Entry

@InProceedings{neher:DagSemProc.08021.19,
  author =	{Neher, Markus},
  title =	{{The CoStLy C++ Class Library}},
  booktitle =	{Numerical Validation in Current Hardware Architectures},
  pages =	{1--6},
  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/1449},
  URN =		{urn:nbn:de:0030-drops-14495},
  doi =		{10.4230/DagSemProc.08021.19},
  annote =	{Keywords: Complex interval arithmetic, inclusion functions}
}

Keywords: Complex interval arithmetic, inclusion functions
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