Electric Discharges, Waves and Implulses
Charles Proteus Steinmetz
Projective Geometric Algebra
Eric Lengyel
Geometria
René Descartes
Simon Saunders Harvey R Brown
The Philosophy of vacuum-Oxford (2002)
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program