GlobSol user guide
We explain the installation and use of the GlobSol package for mathematically rigorous bounds on all solutions to constrained and unconstrained global optimization problems, as well as non-linear systems of equations. This document should be of use both to people with optimization problems to solve and to people incorporating GlobSol's components into other systems or providing interfaces to GlobSol.
globsol global optimization nonconvex optimization constraint propagation