Proofs: A Long-Form Mathematics Textbook
Jay Cummings
Non-Convex Optimization for Machine Learning
Prateek Jain & Purushottam Kar
How to Prove It: A Structured Approach
Daniel J. Velleman
Combinatorial Optimization: Theory and Algorithms
Bernhard Korte & Jens Vygen
Algorithms and Combinatorics (2)
Differential Equations and Linear Algebra, 4th Edition
Stephen W. Goode & Scott A. Annin
Introduction to Linear Algebra 5th Edition
Gilbert Strang
Linear Algebra Done Right, 4th edition
Sheldon Axler, 吴俊达, 何阳
Matrix Computations
Gene Howard Golub & Charles F. van Loan
The Matrix Cookbook
Kaare Brandt Petersen & Michael Syskind Pedersen
矩阵计算
Gene H. Golub & Charles F. van Loan