Cadabra
Computer algebra system for field theory problems
Mathematica bridge