编译原理
Alfred V. Aho
Proofs and Refutations: The Logic of Mathematical Discovery
Imre Lakatos
Non-Convex Optimization for Machine Learning
Prateek Jain & Purushottam Kar
Electromagnetic Wave Theory
Jin Au Kong
Matrix Calculus (for Machine Learning and Beyond)
Alan Edelman, Steven G. Johnson
Everything You Always Wanted To Know About Mathematics
Brendan W. Sullivan
The Matrix Cookbook
Kaare Brandt Petersen & Michael Syskind Pedersen
Collection of Problems in Probability Theory
L. D. Meshalkin
Calculus
Gilbert Strang
A First Course in Mathematical Modeling
Frank R. Giordano & Maurice D. Weir & William P. Fox
Numerical Optimization
Jorge Nocedal & Stephen J. Wright
Springer Series in Operations Research (1)
Probabilistic Graphical Models: Principles and Techniques
Daphne Koller & Nir Friedman
矩阵计算
Gene H. Golub & Charles F. van Loan
Reading, Writing, and Proving: A Closer Look at Mathematics
Ulrich Daepp & Pamela Gorkin
Matrix Computations
Gene Howard Golub & Charles F. van Loan
Mathematical Thinking: Problem-Solving and Proofs 2nd Edition
John P. D'Angelo & Douglas Brent West
Proofs: A Long-Form Mathematics Textbook
Jay Cummings
Introduction to Linear Algebra 5th Edition