Algebraic approaches to stability analysis of biological systems

DOI10.1007/s11786-007-0039-xzbMath1138.68668OpenAlexW2079327090WikidataQ112879625 ScholiaQ112879625MaRDI QIDQ926326

Wei Niu, Dongming Wang

Publication date: 27 May 2008

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

Full work available at URL: https://doi.org/10.1007/s11786-007-0039-x

zbMATH Keywords

stabilityGröbner basisbifurcationequilibriumquantifier eliminationsteady stateCADtriangular decompositiondiscriminant varietyreal solution classificationbiological modelself-assembling micelle system

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Stability of solutions to ordinary differential equations (34D20) Qualitative investigation and simulation of ordinary differential equation models (34C60) General biology and biomathematics (92B05)

Related Items (21)

Bounding the number of limit cycles for parametric Liénard systems using symbolic computation methods ⋮ Stability analysis for discrete biological models using algebraic methods ⋮ Using Symbolic Computation to Analyze Zero-Hopf Bifurcations of Polynomial Differential Systems ⋮ Revealing Bistability in Neurological Disorder Models By Solving Parametric Polynomial Systems Geometrically ⋮ A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications ⋮ Automatically discovering relaxed Lyapunov functions for polynomial dynamical systems ⋮ Limit Cycles in a Model of Olfactory Sensory Neurons ⋮ Qualitative studies of some biochemical models ⋮ Symbolic analysis of multiple steady states in a MAPK chemical reaction network ⋮ 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 ⋮ Algebraic Analysis of Bifurcation and Limit Cycles for Biological Systems ⋮ Investigating Generic Methods to Solve Hopf Bifurcation Problems in Algebraic Biology ⋮ Hopf bifurcations in a predator-prey model with an omnivore ⋮ Exploiting variable sparsity in computing equilibria of biological dynamical systems by triangular decomposition ⋮ Symbolic computation for the qualitative theory of differential equations ⋮ Bifurcation manifolds in predator-prey models computed by Gröbner basis method ⋮ Special algorithm for stability analysis of multistable biological regulatory systems ⋮ Analyses and implementations of chordality-preserving top-down algorithms for triangular decomposition

Uses Software

• FGb
• QEPCAD
• ISOLATE

This page was built for publication: Algebraic approaches to stability analysis of biological systems