Generating solutions of Einstein's field equations by typing mistakes
When checking a known vacuum solution with a computer algebra system, a Petrov type II electromagnetic null field with one Killing vector is found.
scientific article; zbMATH DE number 4105799