A Newman-Penrose calculator for instanton metrics
We present a Maple11+GRTensorII based symbolic calculator for instanton metrics using Newmann-Penrose formalism. Gravitational instantons are exact solutions of Einstein's vaccum field equations with Euclidean signature. The Newmann-Penrose formalism, which supplies a toolbox for studying the exact solutions of Einstein's field equations, was adopted to the instanton case and our code translates it for the computational use.
newmann-penrose formalism gravitational instantons symbolic computation