Pattern Recognition and Machine Learning
Christopher M. Bishop
Matrix Calculus (for Machine Learning and Beyond)
Alan Edelman, Steven G. Johnson
Bayesian Data Analysis
Andrew Gelman
Proofs: A Long-Form Mathematics Textbook
Jay Cummings
Numerical Optimization
Jorge Nocedal & Stephen J. Wright
Springer Series in Operations Research (1)