BARON For solving nonconvex optimization problems to global optimality. Learn more >> ALAMO For building algebraic models from data and simulations. Learn more >>