The Matrix Cookbook
Kaare Brandt Petersen & Michael Syskind Pedersen
Probabilistic Graphical Models: Principles and Techniques
Daphne Koller & Nir Friedman
Filtering and System Identification: A Least Squares Approach
Michel Verhaegen & Vincent Verdult
Proofs: A Long-Form Mathematics Textbook
Jay Cummings