Kasper Peeters whom the readers of this blog know as a co-author of the most cited
2005 paper about loop quantum gravity - a paper that has unfortunately shown that loop quantum gravity can't be useful for physics in its present form - has created a rather impressive symbolic computer algebra system to solve field theory problems.
The software is so far available for Linux and can be downloaded from the
that shouldn't be confused with the
Abracadabra website. :-) Both the input and the output is a subset of TeX and it allows you to manipulate with expressions involving tensors, derivatives, Grassmann variables, and gamma matrices, among other things.
