Algebraic computing and tensors in general relativity

Albert Einstein's field equations for general relativity have proven to be revolutionary in modern physics. There remains the possibility that many predictions may still lie within these equations. The thesis examines the use of software in assisting the exploration of the potential wealth of information in the equations.