算法
Robert Sedgewick & Kevin Wayne
Reading, Writing, and Proving: A Closer Look at Mathematics
Ulrich Daepp & Pamela Gorkin
Filtering and System Identification: A Least Squares Approach
Michel Verhaegen & Vincent Verdult
Proofs: A Long-Form Mathematics Textbook
Jay Cummings
A First Course in Mathematical Modeling
Frank R. Giordano & Maurice D. Weir & William P. Fox