Title: Convergence of Domain Decomposition Methods via Semi-Classical Calculus Authors: F. Nataf and F. Nier Abstract: We prove the convergence of domain decomposition methods for a PDE with variable coefficients. This is a generalization of previous results obtained for constant coefficients operators (see report 306). Fourier analysis is replaced by Semi-Classical Calculus. We also prove that the Dirichlet to Neumann operator is exactly a pseudodifferential operator whose symbol can be approximated. The whole paper is available as a compressed Postscript file by internet procedure FTP anonymous on host barbes.polytechnique.fr ( 129.104.4.100) in the directory pub/RI/1995 under the name nataf_nier_331.sept.ps.gz or by Xmosaic or any other www client via the CMAP www server "http://blanche.polytechnique.fr/"