Интересно, программировал ли кто-нибудь символьные вычисления с тензорами с символьными немыми индексами суммирования?
Я имею ввиду программирование вывода формул, навроде следующей (индексы - символьные, по повторяющимся индексам подразумевается суммирование):

Вывод этой формулы я программировал на Mathematica. Провозился несколько дней. Программа получилась очень специфическая, ничего кроме этой формулы она больше вывести не может.
Вручную выводить такие формулы очень утомительно и ошибиться можно.
Существует, конечно, обходной путь. Это когда конечную формулу угадываешь, а потом проверяешь (угадал/нет). Для проверки готовенькой формулы индексы уже можно делать числовыми и суммировать по ним. Но это работает только в простейших случаях и в малых размерностях.
Так что, ежели кто придумал как победить эту беду, поделитесь опытом?