Stav dette: An algorithmic approach to nonlinear analysis and optimization edited by Edward J. Beltrami. [electronic resource] /