filib++
From MaRDI portal
Software:18566
No author found.
Related Items (41)
Improved validated bounds for Taylor coefficients and for Taylor remainder series ⋮ ProbReach ⋮ ACETAF ⋮ Interval Subroutine Library Mission ⋮ Interval Arithmetic Using SSE-2 ⋮ Unnamed Item ⋮ Numerical Software with Result Verification ⋮ Numerical Software with Result Verification ⋮ Numerical Software with Result Verification ⋮ Numerical Software with Result Verification ⋮ Numerical Software with Result Verification ⋮ First steps towards more numerical reproducibility ⋮ Interval arithmetic with containment sets ⋮ Principles of verified numerical integration ⋮ 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 ⋮ Extended interval power function ⋮ 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 ⋮ FILIB++, a fast interval library supporting containment computations ⋮ Complex Inclusion Functions in the CoStLy C++ Class Library ⋮ Communicating Functional Expressions from Mathematica to C-XSC ⋮ Automatic forward error analysis for floating point algorithms ⋮ A numerical approach to compute the topology of the apparent contour of a smooth mapping from \(\mathbb{R}^2\) to \(\mathbb{R}^2\) ⋮ Global Optimization Based on Contractor Programming: An Overview of the IBEX Library ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Deterministic global optimization with Gaussian processes embedded ⋮ Fast construction of constant bound functions for sparse polynomials ⋮ Unnamed Item ⋮ Mathematical function software on the web -- are such codes useful for verification algorithms? ⋮ How do you compute the midpoint of an interval? ⋮ On underestimating in interval computations ⋮ Motivations for an arbitrary precision interval arithmetic and the MPFI library ⋮ Unnamed Item ⋮ Efficient task scheduling in the parallel result-verifying solution of nonlinear systems ⋮ The design of the Boost interval arithmetic library ⋮ Forward Inner-Approximated Reachability of Non-Linear Continuous Systems
This page was built for software: filib++
