X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/hdrcouchot.git/blobdiff_plain/44a56c5eb4a1dfdf7dc67735c5c00f478cef2ede..refs/heads/master:/talk/preuveconvmotiv.tex?ds=sidebyside

diff --git a/talk/preuveconvmotiv.tex b/talk/preuveconvmotiv.tex
index f6540e9..0e8c621 100644
--- a/talk/preuveconvmotiv.tex
+++ b/talk/preuveconvmotiv.tex
@@ -2,10 +2,10 @@
 \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 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.