FILIB++, a fast interval library supporting containment computations

filib++ is an extension of the interval library filib originally developed at the University of Karlsruhe. The most important aim of filib is the fast computation of guaranteed bounds for interval versions of a comprehensive set of elementary functions. filib++ extends this library in two aspects. First, it adds a second mode, the extended mode, that extends the exception-free computation mode (using special values to represent infinities and NaNs known from the IEEE floating-point standard 754) to intervals. In this mode, the so-called containment sets are computed to enclose the topological closure of a range of a function over an interval. Second, our new design uses templates and traits classes to obtain an efficient, easily extendable, and portable C++ library.

[1]  Siegfried M. Rump,et al.  INTLAB - INTerval LABoratory , 1998, SCAN.

[2]  S. Rump Fast and Parallel Interval Arithmetic , 1999 .

[4]  Ulrich W. Kulisch,et al.  C++ Toolbox for Verified Scientific Computing I: Basic Numerical Problems , 1997 .

[5]  G. Alefeld,et al.  Introduction to Interval Computation , 1983 .

[6]  R. Baker Kearfott,et al.  Algorithm 763: INTERVAL_ARITHMETIC: a Fortran 90 module for an interval data type , 1996, TOMS.

[7]  Bjarne Stroustrup,et al.  C++ Programming Language , 1986, IEEE Softw..

[8]  Walter Krämer,et al.  C-XSC 2.0: A C++ Library for Extended Scientific Computing , 2003, Numerical Software with Result Verification.

[9]  Bjarne Stroustrup,et al.  The C++ programming language - special edition (3. ed.) , 2007 .

[10]  Ulrich W. Kulisch,et al.  Perspectives on Enclosure Methods , 2001 .

[11]  G. Corliss,et al.  C-Xsc: A C++ Class Library for Extended Scientific Computing , 1993 .

[12]  Jürgen Wolff von Gudenberg,et al.  Scientific Computing, Validated Numerics, Interval Methods , 2010, Springer US.

[13]  Chenyi Hu,et al.  Algorithm 737: INTLIB—a portable Fortran 77 interval standard-function library , 1994, TOMS.

[14]  R. Baker Kearfott,et al.  Algorithm 681: INTBIS, a portable interval Newton/bisection package , 1990, TOMS.

[15]  C – XSC 2 . 0 – A C + + Class Library for Extended Scientific Computing , 2002 .

[16]  O. Knüppel,et al.  PROFIL/BIAS—A fast interval library , 1994, Computing.

[17]  Bjarne Stroustrup,et al.  The C++ Programming Language: Special Edition , 2000 .