Stav dette: An algorithmic approach to nonlinear analysis and optimization