Reading, Writing, and Proving: A Closer Look at Mathematics
Ulrich Daepp & Pamela Gorkin
Hyperparameter Optimization in Machine Learning
Luca Franceschi
Numerical Optimization
Jorge Nocedal & Stephen J. Wright
Springer Series in Operations Research (1)
Proof and the Art of Mathematics: Examples and Extensions
Joel David Hamkins
Book of Proof
Richard H. Hammack