Directions in computer algebra  
 
 
Hawking and Ellis 1973

Wald 1984

d'Inverno 1992

de Felice and Clarke 1990

Poisson 2004

Ludvigsen 1999

 
Run the example on your machine (Typical time is 3/100 sec)