Generating invariants for non-linear loops by linear algebraic methods
scientific article; zbMATH DE number 6526761
scientific article