An extension of a procedure to prove statements in differential geometry
scientific article; zbMATH DE number 704959