Title: The application of algebraic manipulation by computer to some problems in general relativity