Geometric Algebra for Computer Science - An Object-Oriented ...
Leo Dorst, Daniel Fontijne, Stephen Mann
Coding the Matrix: Linear Algebra Through Computer Science Applications
Philip N. Klein
Computational Geometry - Convex Hulls
Jeff Erickson
A brief introduction to type theory and the univalence axiom
Jackson Macor
No bullshit guide to linear algebra
Ivan Savov