FILIB++, a fast interval library supporting containment computations-Reference-Cited by-同舟云学术

FILIB++, a fast interval library supporting containment computations

Published:2006-06 Issue:2 Volume:32 Page:299-324
ISSN:0098-3500
Container-title:ACM Transactions on Mathematical Software
language:en
Short-container-title:ACM Trans. Math. Softw.

Author:

Lerch Michael¹,Tischler German¹,Gudenberg Jürgen Wolff Von¹,Hofschuster Werner²,Krämer Walter²

Affiliation:

1. University of Würzburg, Germany

2. University of Wuppertal, Germany

Abstract

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.

Publisher

Association for Computing Machinery (ACM)

Subject

Applied Mathematics,Software

Link

https://dl.acm.org/doi/pdf/10.1145/1141885.1141893

Reference25 articles.

1. Alefeld G. and Herzberger J. 1983. Introduction to Interval Computations. Academic Press New York NY. Alefeld G. and Herzberger J. 1983. 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. 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. 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. 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. Hofschuster W. and Krämer W. 1998b. fi_lib sources. http://www.math.uni-wuppertal.de/WRSWT/software.html.

Cited by 40 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A framework to test interval arithmetic libraries and their IEEE 1788‐2015 compliance;Concurrency and Computation: Practice and Experience;2023-08-31

2. Testing Interval Arithmetic Libraries, Including Their IEEE-1788 Compliance;Parallel Processing and Applied Mathematics;2023

3. A Cross-Platform Benchmark for Interval Computation Libraries;Parallel Processing and Applied Mathematics;2023

4. A Compiler for Sound Floating-Point Computations using Affine Arithmetic;2022 IEEE/ACM International Symposium on Code Generation and Optimization (CGO);2022-04-02

5. RINO: Robust INner and Outer Approximated Reachability of Neural Networks Controlled Systems;Computer Aided Verification;2022