矩阵计算
Charles F. van Loan & Gene H. Golub
Introduction to Linear Algebra 5th Edition
Gilbert Strang
Effective C++：改善程序与设计的55个具体做法
Scott Meyers
Book of Proof
Richard Hammack
Mathematical Thinking: Problem-Solving and Proofs 2nd Edition
John P. D'Angelo & Douglas Brent West