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)