Fast verification of solutions of matrix equations Oishi, Shin’ichi Rump, Siegfried M. 2002 - TUHH Open Research