An Algorithmic Approach to Nonlinear Analysis and Optimization