Cited in
(76)- Constrained global optimization for wine blending
- Forward inner-approximated reachability of non-linear continuous systems
- 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
- 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
- scientific article; zbMATH DE number 5899421 (Why is no real title available?)
- Numerical Software with Result Verification
- Deterministic global optimization with Gaussian processes embedded
- Interval Arithmetic Using SSE-2
- Numerical Software with Result Verification
- ADHC
- scientific article; zbMATH DE number 2231123 (Why is no real title available?)
- How do you compute the midpoint of an interval?
- Automatic forward error analysis for floating point algorithms
- ACETAF
- CADNA
- CoStLy
- C-XSC
- C-XSC 2.0
- INTLIB
- intpakX
- MPFI
- PROFIL/BIAS
- SLDRIVER
- b4m
- INTLAB
- INTOPT_90
- MPSolve
- gaol
- PNM
- LSIterativeMethods
- MathLink
- Test Set for IVP Solvers
- INTPAK
- SONIC
- IBEX
- CRlibm
- Boost Interval Arithmetic
- Octave Interval
- JInterval
- Moore
- MAiNGO
- FI_LIB
- BeBP
- ValidatedNumerics.jl
- Fast construction of constant bound functions for sparse polynomials
- ACETAF
- Interval Subroutine Library Mission
- Extended interval power function
- First steps towards more numerical reproducibility
- Invertibility properties of singular integral operators associated with the Lamé and Stokes systems on infinite sectors in two dimensions
- HIBA_USNE
- MeLOn
- The design of the Boost interval arithmetic library
- Improved validated bounds for Taylor coefficients and for Taylor remainder series
- Interval arithmetic with containment sets
- FILIB++, a fast interval library supporting containment computations
- Numerical Software with Result Verification
- Introduction to the Maple Power Tool \texttt{intpakX}
- Deterministic global optimization with artificial neural networks embedded
- Rigorous packing of unit squares into a circle
- Complex inclusion functions in the CoStLy C++ class library
- 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
- Numerical Software with Result Verification
- libALE
- Principles of verified numerical integration
- ProbReach: verified probabilistic delta-reachability for stochastic hybrid systems
- Communicating functional expressions from Mathematica to C-XSC
This page was built for software: filib++
