Convergence of a non-linear wavelet algorithm for the solution of PDE's.

We prove convergence of an adaptive wavelet algorithm for the solution of elliptic PDE's, which combines Richardson type iterations with non linear projection steps.