Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Essential Mathematics for Games and Interactive Applications ...
James M. Van Verth, Lars M. Bishop
Projective Geometric Algebra
Eric Lengyel
How Do Space Energy Devices Work?
Dr. Horst Eckardt
Navigating Metabolism by Navdeep S. Chandel
Hiroshi Nakai