Symbolic simplification of tensor expressions using symmetries, dummy indices and identities

@inproceedings{Ilyin1991SymbolicSO,
title={Symbolic simplification of tensor expressions using symmetries, dummy indices and identities},
author={V. A. Ilyin and A. Kryukov},
booktitle={ISSAC '91},
year={1991}
}

The algorithm based on simple geometrical ideas is suggested for simplification O! tensor expressions which takes into account symmetries, dummy indices, and linear identities with many terms. The results of the realization in REDUCE system are adduced.