Elements of Programming Interviews: The Insiders' Guide
Adnan Aziz & Tsung-Hsien Lee & Amit Prakash
Matrix Calculus (for Machine Learning and Beyond)
Alan Edelman, Steven G. Johnson
How to Prove It: A Structured Approach
Daniel J. Velleman
Matrix Computations
Gene Howard Golub & Charles F. van Loan