Convergence theorems for gauss-seidel and other minimization algorithms