Finding isometry groups in theory and practice