Special algorithm for stability analysis of multistable biological regulatory systems
From MaRDI portal
Publication:2343243
DOI10.1016/j.jsc.2014.09.039zbMath1328.92028arXiv1312.1780OpenAlexW2058998512MaRDI QIDQ2343243
Xiaoxian Tang, Hoon Hong, Bican Xia
Publication date: 4 May 2015
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1312.1780
Symbolic computation and algebraic computation (68W30) Stability of solutions to ordinary differential equations (34D20) Systems biology, networks (92C42)
Related Items
Using Symbolic Computation to Analyze Zero-Hopf Bifurcations of Polynomial Differential Systems, Revealing Bistability in Neurological Disorder Models By Solving Parametric Polynomial Systems Geometrically, Bistability of sequestration networks, Symbolic computation for the qualitative theory of differential equations, Multistability of Small Reaction Networks, Algebraic Analysis of Bifurcations and Chaos for Discrete Dynamical Systems, Multistability of Reaction Networks with One-Dimensional Stoichiometric Subspaces
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Fast simplifications for Tarski formulas based on monomial inequalities
- Variant quantifier elimination
- Investigating algebraic and logical algorithms to solve Hopf bifurcation problems in algebraic biology
- Cylindrical decomposition for systems transcendental in the first variable
- Applying quantifier elimination to the Birkhoff interpolation problem
- High-dimensional switches and the modelling of cellular differentiation
- A complete algorithm for automated discovering of a class of inequality-type theorems
- Algebraic approaches to stability analysis of biological systems
- A semi-algebraic approach for asymptotic stability analysis
- Quantifier elimination: Optimal solution for two classical examples
- An improved projection operation for cylindrical algebraic decomposition of three-dimensional space
- An adjacency algorithm for cylindrical algebraic decompositions of three- dimensional space
- Real quantifier elimination is doubly exponential
- On the computational complexity and geometry of the first-order theory of the reals. I: Introduction. Preliminaries. The geometry of semi-algebraic sets. The decision problem for the existential theory of the reals
- On the computational complexity and geometry of the first-order theory of the reals. II: The general decision problem. Preliminaries for quantifier elimination
- On the computational complexity and geometry of the first-order theory of the reals. III: Quantifier elimination
- Partial cylindrical algebraic decomposition for quantifier elimination
- Complexity of deciding Tarski algebra
- A computational method for determining strong stabilizability of \(n\)-D systems
- Nonlinear control system design by quantifier elimination
- Robust multi-objective feedback design by quantifier elimination
- Testing stability by quantifier elimination
- Simulation and optimization by quantifier elimination
- Generalized, switch-like competitive heterodimerization networks
- Discovering polynomial Lyapunov functions for continuous dynamical systems
- Cylindrical algebraic decomposition using validated numerics
- Algorithmic methods for investigating equilibria in epidemic modeling
- Quantifier elimination in automatic loop parallelization
- On propagation of equational constraints in CAD-based quantifier elimination
- Cylindrical algebraic decompositions for boolean combinations
- Constructing a single open cell in a cylindrical algebraic decomposition
- Applying Quantifier Elimination to Stability Analysis of Difference Schemes
- On the combinatorial and algebraic complexity of quantifier elimination
- Efficient projection orders for CAD
- Computing roadmaps of semi-algebraic sets on a variety
- QEPCAD B
- On using bi-equational constraints in CAD construction
- Stability analysis of biological systems with real solution classification
- Triangular decomposition of semi-algebraic systems
- Algorithms in real algebraic geometry
- Simple CAD construction and its applications
- Improved projection for cylindrical algebraic decomposition