gaol
From MaRDI portal
Gaol
Cited in
(27)- PROFIL/BIAS
- SLDRIVER
- An interval component for continuous constraints.
- RealPaver
- A certified branch \& bound approach for reliability-based optimization problems
- Constraint propagation using dominance in interval branch \& bound for nonlinear biobjective optimization
- filib++
- AQCS
- Test Set for IVP Solvers
- First order rejection tests for multiple-objective optimization
- A standard branch-and-bound approach for nonlinear semi-infinite problems
- IBEX
- A branch and bound algorithm for quantified quadratic programming
- IbexOpt
- JInterval
- Numerica
- FPTuner
- lquadmath
- Interval-based projection method for under-constrained numerical systems
- Interval Subroutine Library Mission
- Rigorous floating-point mixed-precision tuning
- How do you compute the midpoint of an interval?
- ADHC
- HIBA_USNE
- The design of the Boost interval arithmetic library
- Propagating systems of dense linear integer constraints
- On continuation methods for non-linear bi-objective optimization: towards a certified interval-based approach
This page was built for software: gaol
