Proofs: A Long-Form Mathematics Textbook
Jay Cummings
算法
Robert Sedgewick & Kevin Wayne
Probabilistic Graphical Models: Principles and Techniques
Daphne Koller & Nir Friedman
Numerical Optimization
Jorge Nocedal & Stephen J. Wright
Springer Series in Operations Research (1)
Information Theory, Inference and Learning Algorithms
David J. C. MacKay
Computer Vision: Models, Learning, and Inference
Simon J. D. Prince