ПО для символьных расчётов в физике высоких энергий

[illuminates]

Собственно интересует какое ПО понимает гамма и сигма матрицы, понимает что свертка может идти как по лоренцовым значкам, так и по групповым, понимает что такое ковариантное дифференцирование, взятие следа по каким то значкам.
Я пытался для этого использовать maple, но дело идёт туго. Хотя свертки по разным значкам написать удалось, maple с трудом работает с такими выражениями. Может есть другая программа которая легко поймёт что я от неё хочу? (желательно с синтаксисом теха и форумом с поддержкой. Но и без этих требований послушаю варианты)

[SharkAV]

Возможно, Вам будет интересен проект REDBERRY

http://redberry.cc/

Все перечисленное там есть.