4: Álgebra Lineal, SAC²: Seminario de Álgebra Constructiva, Departamento de Matemáticas, Universidad Nacional de Colombia, Sede Bogotá.