Matrix Computations
Gene Howard Golub & Charles F. van Loan
多处理器编程的艺术
Maurice Herlihy
Computational Methods for Electromagnetic Inverse Scattering
Xudong Chen
Learning Theory From First Principles
Francis Bach
Mathematical Thinking: Problem-Solving and Proofs 2nd Edition
John P. D'Angelo & Douglas Brent West
Reading, Writing, and Proving: A Closer Look at Mathematics
Ulrich Daepp & Pamela Gorkin
Proofs and Refutations: The Logic of Mathematical Discovery
Imre Lakatos
Proofs: A Long-Form Mathematics Textbook
Jay Cummings
Proof and the Art of Mathematics: Examples and Extensions
Joel David Hamkins