BARON For solving nonconvex optimization problems to global optimality. Software, Manuals, Examples >> ALAMO For building algebraic models from data and simulations. Software, Manuals, Examples >>