On Proving the Absence of Oscillations in Models of Genetic Circuits

DOI10.1007/978-3-540-73433-8_6zbMath1127.92306OpenAlexW1521385507MaRDI QIDQ5429354

Aslı Ürgüplü, Pierre-Emmanuel Morant, François Boulier, François Lemaire, Marc Lefranc

Publication date: 29 November 2007

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

Full work available at URL: https://doi.org/10.1007/978-3-540-73433-8_6

zbMATH Keywords

Hopf bifurcations

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Bifurcation theory for ordinary differential equations (34C23) Kinetics in biochemical problems (pharmacokinetics, enzyme kinetics, etc.) (92C45) Biochemistry, molecular biology (92C40) Software, source code, etc. for problems pertaining to biology (92-04)

Related Items (11)

Qualitative investigation of a gene model using computer algebra algorithms ⋮ Detection of Hopf bifurcations in chemical reaction networks using convex coordinates ⋮ Model reduction of chemical reaction systems using elimination ⋮ Better answers to real questions ⋮ A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications ⋮ Cyclic negative feedback systems: what is the chance of oscillation? ⋮ 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 ⋮ Applying a Rigorous Quasi-Steady State Approximation Method for Proving the Absence of Oscillations in Models of Genetic Circuits ⋮ Investigating Generic Methods to Solve Hopf Bifurcation Problems in Algebraic Biology

Uses Software

• QEPCAD
• REDLOG
• XPPAUT

This page was built for publication: On Proving the Absence of Oscillations in Models of Genetic Circuits