Formalizing ring theory in PVS
scientific article; zbMATH DE number 6946972