Title: Zur nichtnumerischen Behandlung von Tensor-gleichungen durch Rechenautomaten mit anwendung auf die Theorie flacher schalen