Symbolic computations in applied differential geometry - Gragert, P. K. H.; Kersten, P. H. M.; Martini, R. (Acta applicandae mathematicae, 1983)