Remark on Certification of Matrix Inversion Procedures CACM July, 1963 Moler, C. CA630718 JB March 14, 1978 8:21 AM 1177 4 806 806 4 806 806 4 806 932 5 806 454 5 806 806 5 806 806 5 806 806 5 806