MAJ des citations et des sections

[rairo15.git] / main.tex

diff --git a/main.tex b/main.tex
index bc8bb20d3a3da600c918d1554c1b22b5e2385cf7..a934599aa930637ea730861d833ede17a2ef9617 100644 (file)
--- a/main.tex
+++ b/main.tex
@@ -70,6 +70,7 @@
 % \theoremseparator{}
 % \theoremsymbol{\rule{1ex}{1ex}}
 \newtheorem{Proof}{Proof}
+\newtheorem{proposition}{Proposition}
 \newtheorem{xpl}{Running Example}
 
 \newcommand{\vectornorm}[1]{\ensuremath{\left|\left|#1\right|\right|_2}}
@@ -123,7 +124,7 @@ may be  updated at each iteration.   At the theoretical level,  we show that
 
 
 \section{Proof Of Chaos}
-
+\input{chaos}
 
 
 \section{Random walk on the modified Hypercube}
@@ -132,7 +133,7 @@ may be  updated at each iteration.   At the theoretical level,  we show that
 % Donner la borne du stopping time quand on marche dedans (nouveau). 
 % Énoncer le problème de la taille de cette borne (elle est certes finie, mais grande). 
 
-\section{Proofs of Chaos in this context}
+
 
 
 \section{Quality study of the strategy}
@@ -140,7 +141,7 @@ may be  updated at each iteration.   At the theoretical level,  we show that
 
 
 \section{Application to Pseudorandom Number Generation}
-\input{prng}
+%\input{prng}
 
 \section{Conclusion}
 %\input{conclusion}