Towards an automated reduction method for polynomial ODE models in cellular biology

François Boulier (1, 2) , François Lemaire (1, 2) , Alexandre Sedoglavic (1, 2) , Aslı Grimaud (3, 4, 2)

1 LIFL - Laboratoire d'Informatique Fondamentale de Lille
2 CALFOR - Calcul Formel
3 IREM de Lille
4 Académie de Lille

This paper presents the first version of an algorithmic scheme dedicated to the model reduction problem, in the context of polynomial ODE models derived from generalized chemical reaction systems. This scheme, which relies on computer algebra, is implemented within a new MAPLE package. It is applied over an example. The qualitative analysis of the reduced model is afterwards completely carried out, proving the practical relevance of our methods.

Domaines: Calcul formel [cs.SC]; Bio-informatique [q-bio.QM]; Systèmes dynamiques [math.DS]; Bio-Informatique, Biologie Systémique [q-bio.QM]

François Boulier, François Lemaire, Alexandre Sedoglavic, Aslı Grimaud. Towards an automated reduction method for polynomial ODE models in cellular biology. Mathematics in Computer Science, 2009, 2 (3), pp.443-464. ⟨10.1007/s11786-008-0062-6⟩. ⟨hal-00307915v2⟩