斯坦福算法博弈论二十讲
Tim Roughgarden
Proximal Algorithms
Neal Parikh & Stephen P. Boyd & Now Publishers
Reading, Writing, and Proving: A Closer Look at Mathematics
Ulrich Daepp & Pamela Gorkin
A First Course in Mathematical Modeling
Frank R. Giordano & Maurice D. Weir & William P. Fox
Algorithms for Convex Optimization
Nisheeth K. Vishnoi
Computer Vision: Models, Learning, and Inference
Simon J. D. Prince
The Design of Approximation Algorithms
David P. Williamson & David B. Shmoys
Entropy and Diversity: The Axiomatic Approach
Tom Leinster
Filtering and System Identification: A Least Squares Approach
Michel Verhaegen & Vincent Verdult
How to Prove It: A Structured Approach
Daniel J. Velleman
Information Theory, Inference and Learning Algorithms
David J. C. MacKay
Proofs and Refutations: The Logic of Mathematical Discovery
Imre Lakatos