Quando aprendi sobre o SOR, ele foi dado principalmente como um dos primeiros exemplos de métodos iterativos e, posteriormente, os métodos iterativos que eu acabaria usando seriam os métodos do subespaço de Krylov.
Algum dos métodos iterativos como Gauss-Seidel e SOR já foi usado na prática? Você conhece algum pacote real que os use "a sério", para algo diferente de fins de demonstração?
Respostas:
Sim, mas não como solucionadores independentes para sistemas lineares de equações. Atualmente, eles são usados como smoothers em multigrid ou como precondicionadores nos métodos de krylov .
Paul já deu a resposta curta (que todos os pacotes de álgebra linear e PDE implementam esses métodos, mas são mais frequentemente usados apenas como smoothers em métodos multigrid). A resposta longa pode ser encontrada nas palestras 34-38 aqui: http://www.math.tamu.edu/~bangerth/videos.html