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