Introduction to Linear Algebra 5th Edition
Gilbert Strang
Proofs and Refutations: The Logic of Mathematical Discovery
Imre Lakatos
Matrix Computations
Gene Howard Golub & Charles F. van Loan
Why Greatness Cannot Be Planned: The Myth of the Objective
Kenneth O. Stanley & Joel Lehman
Proximal Algorithms
Neal Parikh & Stephen P. Boyd & Now Publishers