Équipe et Contacts
Équipe Calcul Formel.
François Lemaire.
Francois.Lemaire@univ-lille1.fr
Mots-Clefs
Analyse qualitative. Système biologique. Équations différentielles.
Contexte
Ce sujet s'inscrit dans le cadre du projet ANR BLANC LEDA
Sujet
Les systèmes biologiques peuvent être modélisées par réactions chimiques et équations différentielles. L'étude qualitative de ses systèmes peut être complexe, notamment à cause du nombre important de paramètres, et de la taille des équations. Dans la pratique, l'étude qualitative peut être simplifiée à la main, ou guidée par un logiciel comme MABSys (paquetage écrit en Maple dans l'équipe).
Travail à mener
- Découverte du logiciel MABSys et des techniques sous-jacentes
- Etude de certaines simplifications faites à la main, dans le but de trouver une méthode automatique de simplification
- Codage de la méthode trouvée dans MABSys.