palavras-chave ADI iteration Extrapolation Positive (semi-)definite matrix Successive overrelaxation Sylvester equation