Mathematical Theories of Optimization