Cadabra
Computer algebra system for field theory problems