An algorithmic approach to nonlinear analysis and optimization by