How to Prove It: A Structured Approach
Daniel J. Velleman
Proofs: A Long-Form Mathematics Textbook
Jay Cummings
Non-Convex Optimization for Machine Learning
Prateek Jain & Purushottam Kar
Algorithms for Convex Optimization
Nisheeth K. Vishnoi
Combinatorial Optimization: Theory and Algorithms
Bernhard Korte & Jens Vygen
Algorithms and Combinatorics (1)
Algorithms and Combinatorics (2)