Theory and Computational Methods for Optimization