Cadabra
Computer algebra system for field theory problems
doc Directory Reference