Investigating algebraic and logical algorithms to solve Hopf bifurcation problems in algebraic biology

DOI10.1007/s11786-008-0067-1zbMath1205.37062OpenAlexW1989840769WikidataQ62015443 ScholiaQ62015443MaRDI QIDQ626879

Essam O. Abdel-Rahman, M'hammed El Kahoui, Andreas Weber, Thomas Sturm

Publication date: 19 February 2011

Published in: Mathematics in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11786-008-0067-1

Mathematics Subject Classification ID

Bifurcation theory for ordinary differential equations (34C23) Kinetics in biochemical problems (pharmacokinetics, enzyme kinetics, etc.) (92C45) Bifurcations of singular points in dynamical systems (37G10) Quantifier elimination, model completeness, and related topics (03C10) Software, source code, etc. for problems pertaining to ordinary differential equations (34-04)

Related Items (20)

Computing Hopf Bifurcations in Chemical Reaction Networks Using Reaction Coordinates ⋮ Bifurcation analysis of a wild and sterile mosquito model ⋮ Detection of Hopf bifurcations in chemical reaction networks using convex coordinates ⋮ Stability analysis for discrete biological models using algebraic methods ⋮ Better answers to real questions ⋮ A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications ⋮ Discovering polynomial Lyapunov functions for continuous dynamical systems ⋮ Limit Cycles in a Model of Olfactory Sensory Neurons ⋮ Qualitative studies of some biochemical models ⋮ 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) ⋮ Supporting Global Numerical Optimization of Rational Functions by Generic Symbolic Convexity Tests ⋮ Hopf bifurcations in a predator-prey model with an omnivore ⋮ A logic based approach to finding real singularities of implicit ordinary differential equations ⋮ Qualitative analysis of an Ivlev-type bio-economic system ⋮ Algorithmic reduction of biological networks with multiple time scales ⋮ Exploiting variable sparsity in computing equilibria of biological dynamical systems by triangular decomposition ⋮ Effective Quantifier Elimination for Presburger Arithmetic with Infinity ⋮ Special algorithm for stability analysis of multistable biological regulatory systems

Uses Software

This page was built for publication: Investigating algebraic and logical algorithms to solve Hopf bifurcation problems in algebraic biology