Real-Time Collision Detection
Christer Ericson
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Euler The Master of Us All
William Dunham
Structure and Interpretation of Classical Mechanics: Second ...
Gerald Jay Sussman & Jack Wisdom
The Platonic Doctrines of Albinus
Albinus