"Symbolic simplification of tensor expressions" - читать интересную книгу автора (Ilyin, Kryukov.)