Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Euler The Master of Us All
William Dunham
3D Game Engine Dsign
David H. Eberly
Linear Programming Beyond 4.2(Simplex Method)
Heckman C.C.
Programming Game AI by Example
Mat Buckland
Game Engine Gems, Volume One
Eric Lengyel
Game Engine Gems (1)