Verificador, teste de parada e gauss-jacobi e gauss-seidel