Petites modifs

[GMRES2stage.git] / paper.tex

diff --git a/paper.tex b/paper.tex
index e512018b8fd2b0bf94de9dbf5cdd4b83a8264a8f..02906282b5940c6d392f600c9b2942b2c86230b0 100644 (file)
--- a/paper.tex
+++ b/paper.tex
@@ -748,10 +748,15 @@ the convergence of GMRES($m$) for all $m$ under that assumption regarding $A$.
 
 We can now claim that,
 \begin{proposition}
 
 We can now claim that,
 \begin{proposition}

-If $A$ is a positive real matrix, then the TSIRM algorithm is convergent.
+If $A$ is a positive real matrix and GMRES($m$) is used as solver, then the TSIRM algorithm is convergent.

 \end{proposition}
 
 \begin{proof}
 \end{proposition}
 
 \begin{proof}

+Let $r_k = b-Ax_k$, where $x_k$ is the approximation of the solution after the
+$k$-th iterate of TSIRM.
+We will prove that $r_k \rightarrow 0$ when $k \rightarrow +\infty$.
+
+Each step of the TSIRM algorithm 

 \end{proof}
 
 %%%*********************************************************
 \end{proof}
 
 %%%*********************************************************


@@ -1055,4 +1060,3 @@ Curie and Juqueen respectively based in France and Germany.
 
 % that's all folks
 \end{document}
 
 % that's all folks
 \end{document}

-