INTSOLVER: An interval based solver for Global Optimization

Interval based functions to solve small global optimization problems with guaranteed bounds.

We present a set of functions based on interval arithmetic to solve small size global optimization problems with guaranteed bounds on solutions. Interval analysis can be used to bound ALL solutions of nonlinear optimization problem, equality constrained or not as well to bound ALL solutions of a nonlinear system of equation. Our functions can deal with these problems using an implementation of the interval Newton method with a bissection scheme. The capabilities of our functions can be showed through the analysis of some important global optimization examples that we provide with the main functions.