On determining the isometry group of a Riemannian space
interactive computer system for algebraic manipulation
scientific article; zbMATH DE number 3764669