go to www - Fordham University
Discrete Dynamical Modeling, James T. Sandefur - Mathematics ? 1993. ... Unité
4 : démonstration sur machine en Coq: preuve de correction d'une ..... Dans ce
cours d'introduction, on se limitera à la dimension 2 avec l'objectif ... Page web :
http://www-sop.inria.fr/geometrica/courses/master1/ ...... STACS 2007: 367-380.