FILIB++, a fast interval library supporting containment computations
From MaRDI portal
Publication:3549175
DOI10.1145/1141885.1141893zbMath1365.65140OpenAlexW2041313350WikidataQ113310682 ScholiaQ113310682MaRDI QIDQ3549175
Walter Krämer, Michael Lerch, Werner Hofschuster, Jürgen Wolff von Gudenberg, German Tischler
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
Related Items (18)
Interval arithmetic with containment sets ⋮ Constrained global optimization for wine blending ⋮ Invertibility properties of singular integral operators associated with the Lamé and Stokes systems on infinite sectors in two dimensions ⋮ Rigorous packing of unit squares into a circle ⋮ Interval arithmetic using expression templates, template meta programming and the upcoming C++ standard ⋮ Testing interval arithmetic libraries, including their IEEE-1788 compliance ⋮ Deterministic global optimization of steam cycles using the IAPWS-IF97 model ⋮ 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 ⋮ Deterministic global optimization with artificial neural networks embedded ⋮ SmartMOBILE and its Applications to Guaranteed Modeling and Simulation of Mechanical Systems ⋮ The Forthcoming IEEE Standard 1788 for Interval Arithmetic ⋮ A numerical approach to compute the topology of the apparent contour of a smooth mapping from \(\mathbb{R}^2\) to \(\mathbb{R}^2\) ⋮ 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 ⋮ Nonlinear optimal control: a numerical scheme based on occupation measures and interval analysis ⋮ Motivations for an arbitrary precision interval arithmetic and the MPFI library ⋮ Efficient task scheduling in the parallel result-verifying solution of nonlinear systems
Uses Software
This page was built for publication: FILIB++, a fast interval library supporting containment computations
