BARONFor solving nonconvex optimization problems to global optimality.Software, Manuals, Examples ALAMOFor building algebraic models from data and simulations.Software, Manuals, Examples