Stability analysis of biological systems with real solution classification
From MaRDI portal
Publication:5262785
DOI10.1145/1073884.1073933zbMath1360.92048OpenAlexW2051499723MaRDI QIDQ5262785
Publication date: 16 July 2015
Published in: Proceedings of the 2005 international symposium on Symbolic and algebraic computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/1073884.1073933
stabilityequilibriumdifferential equationspolynomial systemreal rootbiological networksolution classificationCdc2-cyclin B/Wee1Mos/MEK/p42 MAPK cascade
Symbolic computation and algebraic computation (68W30) Biochemistry, molecular biology (92C40) Stability of solutions to ordinary differential equations (34D20) Systems biology, networks (92C42)
Related Items
Bounding the number of limit cycles for parametric Liénard systems using symbolic computation methods ⋮ Stability analysis for discrete biological models using algebraic methods ⋮ Model reduction of chemical reaction systems using elimination ⋮ Using Symbolic Computation to Analyze Zero-Hopf Bifurcations of Polynomial Differential Systems ⋮ Revealing Bistability in Neurological Disorder Models By Solving Parametric Polynomial Systems Geometrically ⋮ Automatically discovering relaxed Lyapunov functions for polynomial dynamical systems ⋮ Discovering polynomial Lyapunov functions for continuous dynamical systems ⋮ An algebraic method to calculate parameter regions for constrained steady-state distribution in stochastic reaction networks ⋮ Real solution isolation using interval arithmetic ⋮ Bounding the number of limit cycles for a polynomial Liénard system by using regular chains ⋮ Symbolic analysis of multiple steady states in a MAPK chemical reaction network ⋮ Algebraic analysis of stability and bifurcation of a self-assembling micelle system ⋮ Algebraic Analysis of Bifurcation and Limit Cycles for Biological Systems ⋮ The Smallest Multistationary Mass-Preserving Chemical Reaction Network ⋮ Identifying the parametric occurrence of multiple steady states for some biological networks ⋮ Exploiting variable sparsity in computing equilibria of biological dynamical systems by triangular decomposition ⋮ A Numerical Method for Computing Border Curves of Bi-parametric Real Polynomial Systems and Applications ⋮ A semi-algebraic approach for asymptotic stability analysis ⋮ Symbolic computation for the qualitative theory of differential equations ⋮ Special algorithm for stability analysis of multistable biological regulatory systems ⋮ Analyses and implementations of chordality-preserving top-down algorithms for triangular decomposition
