Stability analysis for discrete biological models using algebraic methods
DOI10.1007/s11786-011-0096-zzbMath1270.92023OpenAlexW2014221334WikidataQ112879626 ScholiaQ112879626MaRDI QIDQ359890
Chenqi Mou, Xiaoliang Li, Wei Niu, Dongming Wang
Publication date: 23 August 2013
Published in: Mathematics in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11786-011-0096-z
stabilitysymbolic computationbifurcationdiscrete dynamical systemalgebraic methodfinite dynamical system
Dynamical systems in biology (37N25) General biology and biomathematics (92B05) Computational methods for problems pertaining to biology (92-08) Systems biology, networks (92C42)
Related Items (19)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Algorithms for singleton attractor detection in planar and nonplanar AND/OR Boolean networks
- Investigating algebraic and logical algorithms to solve Hopf bifurcation problems in algebraic biology
- Stability of disease free equilibria in epidemiological models
- Decomposing polynomial sets into simple sets over finite fields: the zero-dimensional case
- Quantifier elimination for real algebra -- the quadratic case and beyond
- Algebraic approaches to stability analysis of biological systems
- Elimination methods
- A new method for solving algebraic systems of positive dimension
- Partial cylindrical algebraic decomposition for quantifier elimination
- Comprehensive Gröbner bases
- A new efficient algorithm for computing Gröbner bases \((F_4)\)
- Some discrete-time SI, SIR, and SIS epidemic models
- Testing stability by quantifier elimination
- The Magma algebra system. I: The user language
- Deciding Hopf bifurcations by quantifier elimination in a software-component architecture
- Computing triangular systems and regular systems
- A new algorithm for discussing Gröbner bases with parameters.
- Solving parametric polynomial systems
- Computation with semialgebraic sets represented by cylindrical algebraic formulas
- Black-box/white-box simplification and applications to quantifier elimination
- A simple algorithm to compute comprehensive Gröbner bases using Gröbner bases
- Computer Algebra in Systems Biology
- Comprehensive Triangular Decomposition
- Thomas Decomposition of Algebraic and Differential Systems
- Applying a Rigorous Quasi-Steady State Approximation Method for Proving the Absence of Oscillations in Models of Genetic Circuits
- Algebraic Analysis of Bifurcation and Limit Cycles for Biological Systems
- Stability analysis of biological systems with real solution classification
- Discrete Dynamical Systems
- Stability and bifurcation in a discrete-time predator–prey model
- Triangular decomposition of semi-algebraic systems
This page was built for publication: Stability analysis for discrete biological models using algebraic methods