矩阵计算
Charles F. van Loan & Gene H. Golub
How to Prove It: A Structured Approach
Daniel J. Velleman
The Landscapes of Science and Religion: What Are We Disagreeing ...
Nick Spencer & Hannah Waite
Reading, Writing, and Proving: A Closer Look at Mathematics
Ulrich Daepp & Pamela Gorkin