Investigating Generic Methods to Solve Hopf Bifurcation Problems in Algebraic Biology

DOI10.1007/978-3-540-85101-1_15zbMath1171.92301OpenAlexW1482259898WikidataQ62015447 ScholiaQ62015447MaRDI QIDQ3599203

Thomas Sturm, Andreas Weber

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_15

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Computational methods for bifurcation problems in dynamical systems (37M20) Computational methods for problems pertaining to biology (92-08)

Related Items

Computing Hopf Bifurcations in Chemical Reaction Networks Using Reaction Coordinates ⋮ Detection of Hopf bifurcations in chemical reaction networks using convex coordinates ⋮ Better answers to real questions ⋮ A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications ⋮ Algorithmic global criteria for excluding oscillations ⋮ Parametric Qualitative Analysis of Ordinary Differential Equations: Computer Algebra Methods for Excluding Oscillations (Extended Abstract) (Invited Talk) ⋮ Supporting Global Numerical Optimization of Rational Functions by Generic Symbolic Convexity Tests ⋮ A logic based approach to finding real singularities of implicit ordinary differential equations ⋮ Algorithmic reduction of biological networks with multiple time scales

Uses Software

• QEPCAD
• REDLOG

Cites Work

• Unnamed Item
• Unnamed Item
• Quantifier elimination for real algebra -- the quadratic case and beyond
• Algebraic approaches to stability analysis of biological systems
• Graph-theoretic methods for the analysis of chemical and biochemical networks. I. Multistability and oscillations in ordinary differential equation models
• Partial cylindrical algebraic decomposition for quantifier elimination
• A new approach for automatic theorem proving in real geometry
• Simulation and optimization by quantifier elimination
• Simplification of quantifier-free formulae over ordered fields
• Deciding Hopf bifurcations by quantifier elimination in a software-component architecture
• Toric ideals and graph theory to analyze Hopf bifurcations in mass action systems
• Mathematical model of the cell division cycle of fission yeast
• Efficient Preprocessing Methods for Quantifier Elimination
• On Proving the Absence of Oscillations in Models of Genetic Circuits