Software for symbolic calculations in high energy physics

Question

I am interested in software that understands gamma and sigma matrices,  where the convolution can go over Lorentz indives, and over group indices, which understands what is covariant differentiation and the trace.
I tried to use maple, but work goes with difficulty. Although I write convolution over different indices, maple works with such expressions with difficulty. Maybe there is another program which easily understands what I want from one? (Preferably with tex syntax and a support forum. But I listen to any recommendations.)

Answer 1

Wolfram Mathematica is what you need. Once you have it and you familiarize yourself with it you need to look for appropriate packages to install in order to do your computations. Most of them are available for free on the internet. Google, for example, mathematica package for Fierz transformations etc. It also has a support forum, Mathematica Stack Exchange.