Formal analysis of the Schulz matrix inversion algorithm: a paradigm towards computer aided verification of general matrix flow solvers
scientific article; zbMATH DE number 7220004
scientific article