|FI_LIB and FILIB++ (Download)|
The main features of the library, called fi_lib (fast interval library) are:
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.
filib++ Interval Library (V 3.0.2) (last modification date: 2011-05-10)
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)
filib++install.exe, VC++_README (in german)
filib++, a Fast Interval Library Supporting Containment Computations.
ACM TOMS, volume 32, number 2, pp. 299-324, 2006
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)