FILIB++, a fast interval library supporting containment computations
From MaRDI portal
Publication:3549175
Cited in
(19)- Constrained global optimization for wine blending
- 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
- Interval arithmetic using expression templates, template meta programming and the upcoming C++ standard
- Testing interval arithmetic libraries, including their IEEE-1788 compliance
- Efficient task scheduling in the parallel result-verifying solution of nonlinear systems
- A numerical approach to compute the topology of the apparent contour of a smooth mapping from \(\mathbb{R}^2\) to \(\mathbb{R}^2\)
- 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
- Interval arithmetic with containment sets
- RINO: Robust INner and Outer Approximated Reachability of Neural Networks Controlled Systems
- 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
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)
