BARON

For solving nonconvex optimization problems to global optimality.

Learn more 

ALAMO

For building algebraic models from data and simulations.

Learn more