A new way to derive the Taub-NUT metric with positive cosmological constant

We investigate a biaxial Bianchi IX model with positive cosmological constant, which is sometimes called the Lambda-Taub-NUT spacetime, whose exact solution is well known. The minisuperspace of biaxial Bianchi IX models admits two non-trivial Killing tensors that play an important role for deriving the Taub-NUT metric. Published by AIP Publishing.