Introduction to the theory of nonlinear optimization. ([2020])