Algorithms for Convex Optimization
Nisheeth K. Vishnoi
Beginning Mathematical Logic: A Study Guide
Peter Smith
Differential Equations and Linear Algebra, 4th Edition
Stephen W. Goode & Scott A. Annin
How to Prove It: A Structured Approach
Daniel J. Velleman
Calculus
Gilbert Strang
Collection of Problems in Probability Theory
L. D. Meshalkin
Everything You Always Wanted To Know About Mathematics
Brendan W. Sullivan
A First Course in Mathematical Modeling
Frank R. Giordano & Maurice D. Weir & William P. Fox
Introduction to Linear Algebra 5th Edition
Mathematical Thinking: Problem-Solving and Proofs 2nd Edition
John P. D'Angelo & Douglas Brent West
Matrix Calculus (for Machine Learning and Beyond)
Alan Edelman, Steven G. Johnson
Matrix Computations
Gene Howard Golub & Charles F. van Loan
The Matrix Cookbook
Kaare Brandt Petersen & Michael Syskind Pedersen
Numerical Optimization
Jorge Nocedal & Stephen J. Wright
Springer Series in Operations Research (1)
Probabilistic Graphical Models: Principles and Techniques
Daphne Koller & Nir Friedman
Proofs and Refutations: The Logic of Mathematical Discovery
Imre Lakatos
Proofs: A Long-Form Mathematics Textbook
Jay Cummings
Reading, Writing, and Proving: A Closer Look at Mathematics
Ulrich Daepp & Pamela Gorkin
矩阵计算
Gene H. Golub & Charles F. van Loan