swMATH6459MaRDI QIDQ18566FDOQ18566
Author name not available (Why is that?)
Official website: http://www2.math.uni-wuppertal.de/~xsc/software/filib.html
Cited In (68)
- HIBA_USNE
- MeLOn
- Communicating functional expressions from Mathematica to C-XSC
- A refinement of some overrelaxation algorithms for solving a system of linear equations
- Deterministic global optimization of steam cycles using the IAPWS-IF97 model
- On underestimating in interval computations
- 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
- Numerical Software with Result Verification
- Software implementation of modifications of iterative algorithms for solving linear systems of equations
- 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
- Title not available (Why is that?)
- Numerical Software with Result Verification
- Deterministic global optimization with Gaussian processes embedded
- Interval Arithmetic Using SSE-2
- Numerical Software with Result Verification
- libALE
- Title not available (Why is that?)
- How do you compute the midpoint of an interval?
- Automatic forward error analysis for floating point algorithms
- Fast construction of constant bound functions for sparse polynomials
- CADNA
- ACETAF
- ADHC
- SLDRIVER
- b4m
- INTLAB
- INTOPT_90
- MPSolve
- gaol
- PNM
- LSIterativeMethods
- MathLink
- Test Set for IVP Solvers
- INTPAK
- SONIC
- IBEX
- CRlibm
- Boost Interval Arithmetic
- Octave Interval
- Interval Subroutine Library Mission
- JInterval
- Moore
- MAiNGO
- FI_LIB
- BeBP
- Extended interval power function
- First steps towards more numerical reproducibility
- ValidatedNumerics.jl
- Invertibility properties of singular integral operators associated with the Lamé and Stokes systems on infinite sectors in two dimensions
- The design of the Boost interval arithmetic library
- FILIB++, a fast interval library supporting containment computations
- Improved validated bounds for Taylor coefficients and for Taylor remainder series
- Interval arithmetic with containment sets
- Numerical Software with Result Verification
- Introduction to the Maple Power Tool \texttt{intpakX}
- Complex inclusion functions in the CoStLy C++ class library
- Deterministic global optimization with artificial neural networks embedded
- Rigorous packing of unit squares into a circle
- Numerical Software with Result Verification
- Mathematical function software on the web -- are such codes useful for verification algorithms?
- Global optimization based on contractor programming: an overview of the IBEX library
- Principles of verified numerical integration
- ProbReach: verified probabilistic delta-reachability for stochastic hybrid systems
- Forward inner-approximated reachability of non-linear continuous systems
- Constrained global optimization for wine blending
This page was built for software: filib++
