Математика - Cadabra

Cadabra — система компьютерной алгебры, специализирующаяся на решении проблем, встречающихся в теории поля.

Программа имеет богатую функциональность по упрощению полилинейного тензора, включая симметричные, фермионы и антикоммутативные переменные, алгебру Клиффорда и преобразования Фрица, неявную координатную зависимость, множество типов индексов и многое другое. Форматом ввода является подмножество TeX.

Сайт разработчика: http://cadabra.phi-sci.com/