On proving the absence of oscillations in models of genetic circuits

François Boulier (1, 2) , Marc Lefranc (3) , François Lemaire (1, 2) , Pierre-Emmanuel Morant (3) , Aslı Grimaud (4, 5, 2)

1 LIFL - Laboratoire d'Informatique Fondamentale de Lille
2 CALFOR - Calcul Formel
3 PhLAM - Laboratoire de Physique des Lasers, Atomes et Molécules - UMR 8523
4 IREM de Lille
5 Académie de Lille

Using computer algebra methods to prove that gene regulatory networks cannot oscillate appears to be easier than expected. We illustrate this claim on a family of models related to historical examples.

Mots clés: computer algebra; Hopf bifurcation; cell modeling

Domaines: Algèbre commutative [math.AC]; Calcul formel [cs.SC]; Systèmes dynamiques [math.DS]; Biologie cellulaire

François Boulier, Marc Lefranc, François Lemaire, Pierre-Emmanuel Morant, Aslı Grimaud. On proving the absence of oscillations in models of genetic circuits. Second International Conference, AB 2007, Jul 2007, Hagenberg, Austria. pp.66-80, ⟨10.1007/978-3-540-73433-8⟩. ⟨hal-00139667⟩