Matrix Computations
Gene Howard Golub & Charles F. van Loan
Book of Proof
Richard Hammack
Proofs: A Long-Form Mathematics Textbook
Jay Cummings
Mathematical Thinking: Problem-Solving and Proofs 2nd Edition
John P. D'Angelo & Douglas Brent West
算法设计
Jon Kleinberg