Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Electric Discharges, Waves and Implulses
Charles Proteus Steinmetz
The Book of Memory: A Study of Memory in Medieval Culture
Mary Carruthers
Density-Functional Theories of Atoms and Molecules - R. Parr, ...
John
Projective Geometric Algebra
Eric Lengyel
