la veille

[hdrcouchot.git] / talk / preuveconvmotiv.tex

diff --git a/talk/preuveconvmotiv.tex b/talk/preuveconvmotiv.tex
index f6540e9668086a44d72a9c2a2c02e970b5033bfe..0e8c6211e598b5c74b7b703622ccb8a3e072371d 100644 (file)
--- a/talk/preuveconvmotiv.tex
+++ b/talk/preuveconvmotiv.tex
@@ -2,10 +2,10 @@
 \begin{itemize}
 \item Conditions suffisantes de convergence: facile à appliquer, 
   domaine restreint.
 \begin{itemize}
 \item Conditions suffisantes de convergence: facile à appliquer, 
   domaine restreint.

-\item Recherche d'une métrique decroissante minorée: difficile.
+%\item Recherche d'une métrique decroissante minorée: difficile.

 \item Simulations:  
 \begin{itemize}
 \item Simulations:  
 \begin{itemize}

-\item Non exhaustives pour les schémas généralisés et asynchrones.
+\item Non exhaustives pour les schémas unaires, généralisés, asynchrones\ldots

 \item Verdict $\leftrightarrow$ vérité ssi divergence (contre-exemple).
 \end{itemize}
 \item Souhait: exploiter un outil qui traiterait toutes les transitions.
 \item Verdict $\leftrightarrow$ vérité ssi divergence (contre-exemple).
 \end{itemize}
 \item Souhait: exploiter un outil qui traiterait toutes les transitions.