Recherche

Derniers sujets de recherche

Sujet de recherche: Formalisations en Coq pour la decision de problemes en geometrie algebrique reelle
Sujet de recherche: Synchronisation d'oscillateurs biologiques : modelisation, analyse et couplage du cycle cellulaire et de lhorloge circadienne

Activité de recherche par année