Certification of algorithms 120 and matrix inversion by Gauss-Jordan inversion II | Communications of the ACM | DeepDyve