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.92317OpenAlexW1830142937MaRDI 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

Symbolic computation and algebraic computation (68W30) Biochemistry, molecular biology (92C40) Genetics and epigenetics (92D10) Computational methods for problems pertaining to biology (92-08)

Related Items (11)

Qualitative investigation of a gene model using computer algebra algorithms ⋮ Stability analysis for discrete biological models using algebraic methods ⋮ Model reduction of chemical reaction systems using elimination ⋮ A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications ⋮ Analysis of codimension 2 bifurcations for high-dimensional discrete systems using symbolic computation methods ⋮ Algebraic analysis of stability and bifurcation of a self-assembling micelle system ⋮ Algorithmic global criteria for excluding oscillations ⋮ 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 ⋮ Exploiting variable sparsity in computing equilibria of biological dynamical systems by triangular decomposition ⋮ Symbolic computation for the qualitative theory of differential equations

Uses Software

Cites Work

This page was built for publication: Applying a Rigorous Quasi-Steady State Approximation Method for Proving the Absence of Oscillations in Models of Genetic Circuits