FILIB++, a fast interval library supporting containment computations
From MaRDI portal
Publication:3549175
DOI10.1145/1141885.1141893zbMATH Open1365.65140OpenAlexW2041313350WikidataQ113310682 ScholiaQ113310682MaRDI QIDQ3549175FDOQ3549175
Authors: Michael Lerch, German Tischler, J. Wolff von Gudenberg, Werner Hofschuster, Walter Krämer 
Publication date: 21 December 2008
Published in: ACM Transactions on Mathematical Software (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/1141885.1141893
Cited In (19)
- Deterministic global optimization of steam cycles using the IAPWS-IF97 model
- Testing interval arithmetic libraries, including their IEEE-1788 compliance
- A greedy approach for a rolling stock management problem using multi-interval constraint propagation. A greedy approach for a rolling stock management problem using multi-interval constraint propagation, ROADEF/EURO challenge 2014
- Interval arithmetic using expression templates, template meta programming and the upcoming C++ standard
- A numerical approach to compute the topology of the apparent contour of a smooth mapping from \(\mathbb{R}^2\) to \(\mathbb{R}^2\)
- Efficient task scheduling in the parallel result-verifying solution of nonlinear systems
- Motivations for an arbitrary precision interval arithmetic and the MPFI library
- The Forthcoming IEEE Standard 1788 for Interval Arithmetic
- Deterministic global optimization with Gaussian processes embedded
- How do you compute the midpoint of an interval?
- Solving Linear Systems with Polynomial Parameter Dependency with Application to the Verified Solution of Problems in Structural Mechanics
- Invertibility properties of singular integral operators associated with the Lamé and Stokes systems on infinite sectors in two dimensions
- Nonlinear optimal control: a numerical scheme based on occupation measures and interval analysis
- RINO: Robust INner and Outer Approximated Reachability of Neural Networks Controlled Systems
- Interval arithmetic with containment sets
- Deterministic global optimization with artificial neural networks embedded
- Rigorous packing of unit squares into a circle
- SmartMOBILE and its applications to guaranteed modeling and simulation of mechanical systems
- Constrained global optimization for wine blending
Uses Software
This page was built for publication: FILIB++, a fast interval library supporting containment computations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3549175)
