A brief introduction to type theory and the univalence axiom
Jackson Macor
Divina proportione : opera a tutti glingegni perspicaci e curiosi ...
Pacioli, Luca, approximately 1445-1517
The Geometry of René Descartes
René Descartes
Fluid Simulation for Computer Graphics, Second Edition
Robert Bridson
De Umbris Idearum: On the Shadows of Ideas (Collected Works ...
Giordano Bruno