GRG

A computer algebra system for differential geometry, gravitation and field theory.