campagne d'habilitation - Examen corrige
Unité 3 : introduction orale à Coq, description en Coq des spécifications
sémantiques, techniques ..... Géométrie algébrique et intervalles: traitement des
polynômes à coefficients intervalles ...... Mathématiques appliquées à la Biologie
(L1), Initiation aux Statistiques (L2), et de Modèles ...... 1 exercice avec
présentation orale.