Almost commuting self-adjoint matrices - a short proof of Huaxin Lin's theorem.
scientific article; zbMATH DE number 939881