Computer algebra in gravity