A brief introduction to type theory and the univalence axiom
Jackson Macor
3D Game Engine Architecture: Engineering Real-Time Applications ...
David H. Eberly
The Road to Reality: A Complete Guide to the Laws of the Universe
Roger Penrose
The Thirteen Books of Euclid's Elements
Euclid, Johan Ludvig Heiberg
Treatise on conic sections
Apollonius, of Perga