One mathematician has helped to prove both one of these and another problem just this year.

Using a modern matrix-based approach, this rigorous second course in linear algebra helps upper-level undergraduates in mathematics ... including interpolation and LU factorization, 300+ more problems ...