Pages that link to "Item:Q3549175"
From MaRDI portal
The following pages link to FILIB++, a fast interval library supporting containment computations (Q3549175):
Displaying 17 items.
- Interval arithmetic using expression templates, template meta programming and the upcoming C++ standard (Q411433) (← links)
- Nonlinear optimal control: a numerical scheme based on occupation measures and interval analysis (Q782924) (← links)
- Efficient task scheduling in the parallel result-verifying solution of nonlinear systems (Q811943) (← links)
- Interval arithmetic with containment sets (Q858179) (← links)
- Invertibility properties of singular integral operators associated with the Lamé and Stokes systems on infinite sectors in two dimensions (Q1683424) (← links)
- 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 (Q1730606) (← links)
- Deterministic global optimization with artificial neural networks embedded (Q1730780) (← links)
- Deterministic global optimization with Gaussian processes embedded (Q2062323) (← links)
- Deterministic global optimization of steam cycles using the IAPWS-IF97 model (Q2218882) (← links)
- Constrained global optimization for wine blending (Q2398517) (← links)
- Rigorous packing of unit squares into a circle (Q2416578) (← links)
- A numerical approach to compute the topology of the apparent contour of a smooth mapping from \(\mathbb{R}^2\) to \(\mathbb{R}^2\) (Q2517499) (← links)
- Motivations for an arbitrary precision interval arithmetic and the MPFI library (Q2572919) (← links)
- The Forthcoming IEEE Standard 1788 for Interval Arithmetic (Q2803584) (← links)
- SmartMOBILE and its Applications to Guaranteed Modeling and Simulation of Mechanical Systems (Q3564542) (← links)
- Solving Linear Systems with Polynomial Parameter Dependency with Application to the Verified Solution of Problems in Structural Mechanics (Q5244700) (← links)
- How do you compute the midpoint of an interval? (Q5498687) (← links)
