FILIB++, A fast interval library supporting containment computations

ACM Transactions on Mathematical Software

Volumn 32, Issue 2, 2006, Pages 299-324

  Lerch, Michael ^a   Tischler, German ^a   Von Gudenberg, Jürgen Wolff ^a   Hofschuster, Werner ^b   Krämer, Walter ^b  

^a UNIVERSITY OF WÜRZBURG   (Germany)

^b UNIVERSITY OF WUPPERTAL   (Germany)

Author keywords

C++ class library; Containment computations; Containment sets; Exception free computations; Filib++; Guaranteed numerical results; Interval arithmetic; Interval computations; Templates; Traits class; Validated numerics; Validation

Indexed keywords

COMPUTATION THEORY; DIGITAL ARITHMETIC; FUNCTIONS; NUMERICAL METHODS; SET THEORY;

C++ CLASS LIBRARY; CONTAINMENT COMPUTATIONS; CONTAINMENT SETS; EXCEPTION FREE COMPUTATIONS; FILIB++; INTERVAL ARITHMETIC; INTERVAL COMPUTATIONS; TEMPLATES; TRAITS CLASS; VALIDATED NUMERICS;

DIGITAL LIBRARIES;

EID: 33746039708     PISSN: 00983500     EISSN: 00983500     Source Type: Journal    
DOI: 10.1145/1141885.1141893     Document Type: Article

References (26)

1. ALEFELD, G. AND HERZBERGER, J. 1988. Introduction to Interval Computations. Academic Press, New York, NY.
2. CHIRIAEV, D. AND WALSTER, G. 1999. Interval arithmetic specification, www.mscs.mu.edu/~globsol/walster-papers.html.
3. HAMMER, R., HOCKS, M., KULISCH, U., AND RATZ, D. 1995. C++ Toolbox for Verified Computing -Basic Numerical Problems. Springer-Verlag, Berlin, Germany.
4. HOFSCHUSTER, W. AND KRÄMER, W. 1998a. FI_LIB, eine schnelle und portable Funktionsbibliothek für reelle Argumente und reelle Intervalle im IEEE-double-Format. Preprint 98/7, Institut für Wissenschaftliches Rechnen und Mathematische Modellbildung, Universität Karlsruhe, http://www.math.uni-wuppertal.de/wrswt/preprints/prep987.ps.
5. HOFSCHUSTER, W. AND KRÄMER, W. 1998b. fi_lib sources, http://www.math.uni-wuppertal.de/WRSWT/software.html.
6. HOFSCHUSTER, W. AND KRÄMER, W. 2004. C-XSC 2.0 - a C++ class library for extended scientific computing. In Numerical Software with Result Verification, R. Alt, A. Frommer, B. Kearfott, and W. Luther, Eds. Springer Lecture Notes in Computer Science, Vol. 2991, 15-35.
7. HOFSCHUSTER, W, KRÄMER, W., WEDNER, S., AND WIETHOFF, A. 2001. C-XSC 2.0 - a C++ class library for extended scientific computing. Preprint 01/1, Wissenschaftliches Rechnen/Software Technologie, Universität Wuppertal, http://www.math.uni-wuppertal.de/wrswt/preprints/prep_01_1.ps.
8. KEARFOTT, R. B. 1996. Algorithm 768: Interval arithmetic, A fortran 90 module for an interval data type. ACM Trans. Math. Soft. 22, 4, 385-392.
9. KEARFOTT, R. B., DAWANDE, M., DU, K., AND HU, C. 1994. Algorithm 737: Intlib, a portable fortran-77 elementary function library. ACM Trans. Math. Soft. 20, 4 (Dec.) 447-459.
10. KEARFOTT, R. B. AND NOVOA, M. 1990. Algorithm 681: Intbis, a portable interval newton/bisection package. ACM Trans. Math. Soft. 16, 2 (June) 152-157.
11. KLATTE, R., KULISCH, U., LAWO, C., RAUCH, M., AND WIETHOFF, A. 1993. C-.XSC - A C++ Class Library for Scientific Computing. Springer-Verlag, Berlin, Germany.
12. KNÜPPEL, O. 1994. Profil/bias - a fast interval library. Computing 53, 277-287.
13. KRÄMER, W. 2002. Advanced software tools for validated computing. In Proceedings of the 31st Spring Conference of the Union of Bulgarian Mathematicians. Union of Bulgarian Mathematicians, Borovets, Bulgaria, 344-355.
14. KRÄMER, W. AND WOLFF VON GUDENBERG, J. 2001. Scientific Computing, Validated Numerics, Interval Methods. Kluwer Academic/Plenum Publishers, New York, NY.
15. KULISCH, U., LOHNER, R., AND FACIUS, A. 2001. Perspectives on Enclosure Methods. Springer-Verlag, Berlin, Germany.
16. LERCH, M., TISCHLER, G., WOLFF VON GUDENBERG, J., HOFSCHUSTER, W., AND KRÄMER, W. 2001. The interval library filib++ 2.0 - design, features and sample programs. Preprint BUGHW-WRSWT 2001/4, Universität Wuppertal.
17. LERCH, M. AND WOLFF VON GUDENBERG, J. 2000. fi.lib++ : Specification, implementation and test of a library for extended interval arithmetic. In RNC4 Proceedings. 111-123.
18. MYERS, N. 1995. Traits: a new and useful template technique. C++ Report.
19. RUMP, S., M. 1998. Intlab-interval laboratory. In Developments in Reliable Computing, T. Csendes, Ed. KluwerAcademic Publisher, New York, NY.
20. RUMP, S., M. 1999. Fast and parallel interval arithmetic. Bit 39, 3 (Sept.) 534-554.
21. STROUSTRUP, B. 2000. The C++ Programming Language, Special Ed. Addison-Wesley, Reading, MA.
22. Sun Microsystems 2001. C++ Interval Arithmetic Programming Reference (Forte Developer 6 update 2). Sun Microsystems, http://www.sun.com/forte/cplusplus/interval/index.html.
23. WALSTER, G. ET AL. 2000a. The "simple" closed interval system. Tech. rep., Sun Microsystems.
24. WALSTER, G. W. ET AL. 2000b. Extended real intervals and the topological closure of extended real numbers. Tech. rep., Sun Microsystems.
25. WALSTER, W. G., HANSEN, E. R., AND D. P. J. 2000. Extended real intervals and the topological closure of extended real relations. Tech. rep., Sun Microsystems.
26. WOLFF VON GUDENBERG, J. 2000. Interval arithmetic and multimedia architectures. Tech. Rep. 265, Informatik, Universität Würzburg.