I am reading lecture 07, QR factorizacion and Householder reflections. The author proves how to construct a reflection to make zeros in the first column and then say that following this procedure for the other columns finish the proof. But he should prove or justify why the other reflections do not destroy the zeros of previous reflection. I thank the author for the slides, but this little proof need some more care.
staplung · 9h ago
Not exactly the same material but U. Michigan has their Robotics 101 course up as well: Computational Linear Algebra, also in Julia.
This is a nicely comprehensive course, but it looks like it is pretty fast paced, especially in the last few lectures (some of those later slides definitely aren't finished).
https://github.com/michiganrobotics/rob101/tree/main
As a reference, it looks very useful.