Cadabra

Cadabra is a computer algebra system designed specifically for the solution of problems encountered in classical field theory, quantum field theory and string theory. The first version of Cadabra was developed around 2001 for computing higher-derivative string theory correction to supergravity.