gaol

swMATH5586MaRDI QIDQ17725FDOQ17725

Author name not available (Why is that?)

Official website: http://gaol.sourceforge.net/

Source code repository: https://github.com/goualard-f/GAOL

Cited In (26)

• HIBA_USNE
• 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.
• How do you compute the midpoint of an interval?
• Interval-based projection method for under-constrained numerical systems
• A standard branch-and-bound approach for nonlinear semi-infinite problems
• ADHC
• SLDRIVER
• RealPaver
• filib++
• AQCS
• Test Set for IVP Solvers
• IBEX
• IbexOpt
• Interval Subroutine Library Mission
• JInterval
• Numerica
• FPTuner
• lquadmath
• On continuation methods for non-linear bi-objective optimization: towards a certified interval-based approach
• The design of the Boost interval arithmetic library
• First order rejection tests for multiple-objective optimization
• Rigorous floating-point mixed-precision tuning

This page was built for software: gaol