I am looking for texts on Numerical optimization that are closer to Analysis definition-theorem-proof style texts.
EDIT: This is my first acquaintance with numerical optimization. My institution requires that I choose my master's thesis topic in a subfield of numerical optimization. But I'm really fond of Analysis and doing proofs so I want to find resources that are of the same style as "the lecture notes series on nonlinear optimization by A. Nemirovski" and "lectures on modern convex optimization" by A. Nemirovski and Aharon Ben-Tal so that I keep learning/doing proofs all the time.
My background
- In analysis
Almost covered baby Rudin and the theory of Banach and Hilbert spaces (level: kreyszig - Shilov), measure and integration theory (Kolmogorov)].
- In linear algebra
I followed terry tao's lecture notes and currently reading finite dimensional space by P. Halmos.