Coding the Matrix: Linear Algebra Through Computer Science Applications
Philip N. Klein
Art of Computer Programming, Volume 2: Seminumerical Algorithms, ...
Donald E. Knuth
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Spinors and Space-Time: Volume 2, Spinor and Twistor Methods ...
Roger Penrose & Wolfgang Rindler
Cambridge Monographs on Mathematical Physics (1)
Game Engine Gems, Volume One
Eric Lengyel
Game Engine Gems (1)