On proving the absence of oscillations in models of genetic circuits

Authors:
François Boulier;Marc Lefranc;François Lemaire;Pierre-Emmanuel Morant;Asli Ürgüplü
Affiliations:
University Lille I, LIFL, Villeneuve d'Ascq, France;University Lille I, PHLAM, Villeneuve d'Ascq, France;University Lille I, LIFL, Villeneuve d'Ascq, France;University Lille I, PHLAM, Villeneuve d'Ascq, France;University Lille I, LIFL, Villeneuve d'Ascq, France
Venue:
AB'07 Proceedings of the 2nd international conference on Algebraic biology
Year:
2007

Citing 13
Cited 8

Gro¨bner bases: a computational approach to commutative algebra

Gro¨bner bases: a computational approach to commutative algebra
Solving ordinary differential equations I (2nd revised. ed.): nonstiff problems

Solving ordinary differential equations I (2nd revised. ed.): nonstiff problems
REDLOG: computer algebra meets computer logic

ACM SIGSAM Bulletin
Deciding Hopf bifurcations by quantifier elimination in a software-component architecture

Journal of Symbolic Computation
Simulating, Analyzing, and Animating Dynamical Systems: A Guide Toi Xppaut for Researchers and Students

Simulating, Analyzing, and Animating Dynamical Systems: A Guide Toi Xppaut for Researchers and Students
Hauptvortrag: Quantifier elimination for real closed fields by cylindrical algebraic decomposition

Proceedings of the 2nd GI Conference on Automata Theory and Formal Languages
Polynomial real root isolation using Descarte's rule of signs

SYMSAC '76 Proceedings of the third ACM symposium on Symbolic and algebraic computation
QEPCAD B: a program for computing with semi-algebraic sets using CADs

ACM SIGSAM Bulletin
Stability analysis of biological systems with real solution classification

Proceedings of the 2005 international symposium on Symbolic and algebraic computation
Algorithms in Real Algebraic Geometry (Algorithms and Computation in Mathematics)

Algorithms in Real Algebraic Geometry (Algorithms and Computation in Mathematics)
Ideals, Varieties, and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative Algebra, 3/e (Undergraduate Texts in Mathematics)

Ideals, Varieties, and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative Algebra, 3/e (Undergraduate Texts in Mathematics)
Computational algebra for bifurcation theory

Journal of Symbolic Computation
Toric ideals and graph theory to analyze Hopf bifurcations in mass action systems

Journal of Symbolic Computation

Differential Algebra and System Modeling in Cellular Biology

AB '08 Proceedings of the 3rd international conference on Algebraic Biology
Applying a Rigorous Quasi-Steady State Approximation Method for Proving the Absence of Oscillations in Models of Genetic Circuits

AB '08 Proceedings of the 3rd international conference on Algebraic Biology
Investigating Generic Methods to Solve Hopf Bifurcation Problems in Algebraic Biology

AB '08 Proceedings of the 3rd international conference on Algebraic Biology
A method for semi-rectifying algebraic and differential systems using scaling type lie point symmetries with linear algebra

Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation
Parametric qualitative analysis of ordinary differential equations: computer algebra methods for excluding oscillations

CASC'10 Proceedings of the 12th international conference on Computer algebra in scientific computing
Chemical reaction systems, computer algebra and systems biology

CASC'11 Proceedings of the 13th international conference on Computer algebra in scientific computing
On Muldowney's criteria for polynomial vector fields with constraints

CASC'11 Proceedings of the 13th international conference on Computer algebra in scientific computing
MABSys: modeling and analysis of biological systems

ANB'10 Proceedings of the 4th international conference on Algebraic and Numeric Biology

Quantified Score

Hi-index	0.00

Visualization

Abstract

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