M ay 2 00 1 Computer algebra in gravity ∗