Technology Symbolic Computation and Automated Reasoning in Differential Geometry

1. Acta Appficandae Mathematicae 1, 43-77. 0167-8019/83/0011-043505.25. Copyright 9 1983 D. Reidel Publishing Co.43Symbolic Computations in Applied Differential Geometry…