Applying a Rigorous Quasi-Steady State Approximation Method for Proving the Absence of Oscillations in Models of Genetic Circuits

DOI10.1007/978-3-540-85101-1_5zbMath1171.92317MaRDI QIDQ3599193

François Boulier, Pierre-Emmanuel Morant, Marc Lefranc, François Lemaire

Publication date: 3 February 2009

Published in: Algebraic Biology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-85101-1_5

Mathematics Subject Classification ID

68W30: Symbolic computation and algebraic computation

92C40: Biochemistry, molecular biology

92D10: Genetics and epigenetics

92-08: Computational methods for problems pertaining to biology

Related Items

Stability analysis for discrete biological models using algebraic methods, Model reduction of chemical reaction systems using elimination, Algorithmic global criteria for excluding oscillations, Analysis of codimension 2 bifurcations for high-dimensional discrete systems using symbolic computation methods, A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications, Exploiting variable sparsity in computing equilibria of biological dynamical systems by triangular decomposition, Symbolic computation for the qualitative theory of differential equations, Algebraic analysis of stability and bifurcation of a self-assembling micelle system, Qualitative investigation of a gene model using computer algebra algorithms, Parametric Qualitative Analysis of Ordinary Differential Equations: Computer Algebra Methods for Excluding Oscillations (Extended Abstract) (Invited Talk), Differential Algebra and System Modeling in Cellular Biology

Uses Software

• XPPAUT
• BLAD

Cites Work

• Model reduction of chemical reaction systems using elimination
• Computing representations for radicals of finitely generated differential ideals
• Computational cell biology
• Simulating, Analyzing, and Animating Dynamical Systems
• On Proving the Absence of Oscillations in Models of Genetic Circuits
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item