The main features of the library, called fi_lib  (fast interval library) are:
 

• Fast table look-up algorithms are used for the basic functions like arctan, exp or log
• All elementary function routines are supplied with reliable relative error bounds of high quality. The error estimates cover rounding errors, errors introduced by not exactly representable constants as well as approximation errors (best approximations with reliable error bounds).
• All error estimates are reliable worst-case estimates, which have been derived using interval methods.
• We only insist in a faithful computer arithmetic. The routines do not manipulate the rounding mode of basic operations (setting the rounding mode may be rather expensive).
• No higher precision internal data format is used. All computations are done using the IEEE-double format (64 bit).
• A C++ interface for easier use is also supplied with the library.
• To get good portability all programs are written in ANSI-C.

 
Download:  README, fi_lib-1.2.tgz (Version 1.2) (released 2005-12-21)
Archiv: fi_lib.tgz (Version 1.1) (released 1998-03-18)

Hilfsprogramme für MS DOS / Windows-Rechner zum Entpacken: gunzip.exe, tar.exe

filib++ is an extension of the interval library filib. The most important aim of the latter was the fast computation of guaranteed bounds for interval versions of a comprehensive set of elementary function. 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 NotaNumber known from the IEEE floating-point standard 754 to intervals. In this mode so-called containment sets are computed to enclose the topological closure of a range of a function defined over an interval. Second, state of the art design uses templates and traits classes in order to get an efficient, easily extendable and portable library, fully according to the C++ standard.

Download:

• Source code version:
      filib++ Interval Library (V 3.0.2) (last modification date: 2011-05-10)
• Archiv with older source code version:
      filib++ Interval Library (V 3.0.1) (last modification date: 2010-02-19)
      filib++ Interval Library (V 3.0) (last modification date: 2008-07-03)
      filib++ Interval Library (last modification date: 2005-06-21)
      filib++ Interval Library (last modification date: 2004-06-18)
• Version for MS Windows and MS Visual C++ (with installer):
      filib++install.exe, VC++_README (in german)

Dokumentation:

• Lerch, M.; Tischler, G.; Wolff von Gudenberg, J.; Hofschuster, W; Krämer, W.:
  filib++, a Fast Interval Library Supporting Containment Computations.
  ACM TOMS, volume 32, number 2, pp. 299-324, 2006
• Lerch, M.; Tischler, G.; Wolff von Gudenberg, J.; Hofschuster, W; Krämer, W.:
  The Interval Library filib++ 2.0 - Design, Features and Sample Programs
  Preprint 2001/4, Universität Wuppertal, 2001 (Postscript (826 KB), PDF (348 KB))

Additional Software for filib++:
Automatic Computation of Estimates for Taylor Coefficients of Analytic Functions (ACETAF) (Authors: M. Neher, I. Eble; Universität Karlsruhe)