INTERNATIONAL JOURNAL OF MODERN PHYSICS C, vol.19, no.8, pp.1277-1290, 2008 (SCI-Expanded)
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.