Rigorous Schrieffer-Wolff transformation for the Anderson impurity model

With the help of computer algebra, I devise an exact unitary transformation for the Anderson impurity model which allows to kill the hybridization term in the slightly simplified case of zero chemical potential. Then I compute explicitly the outcome of this transformation. This is a rigorous version of the well known Schrieffer-Wolff transformation. It should be possible to treat the general case at the price of increased computation time.