Identifying the parametric occurrence of multiple steady states for some biological networks
From MaRDI portal
Publication:2284952
DOI10.1016/j.jsc.2019.07.008zbMath1442.92056arXiv1902.04882OpenAlexW2914687076WikidataQ118952373 ScholiaQ118952373MaRDI QIDQ2284952
Hassan Errami, Marek Košta, Matthew England, Andreas Weber, Thomas Sturm, Ovidiu Radulescu, Vladimir P. Gerdt, Charles Hoyt, James H. Davenport, Dima Yu. Grigoriev, Russell J. Bradford
Publication date: 15 January 2020
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1902.04882
biological networkssignalling pathwaysreal quantifier eliminationMAPKmixed equation/inequality solving
Symbolic computation and algebraic computation (68W30) Computational methods for problems pertaining to biology (92-08) Systems biology, networks (92C42)
Related Items
A Machine Learning Based Software Pipeline to Pick the Variable Ordering for Algorithms with Polynomial Inputs, Parametric toricity of steady state varieties of reaction networks, A Geometric Approach for Analyzing Parametric Biological Systems by Exploiting Block Triangular Structure, Explainable AI insights for symbolic computation: a case study on selecting the variable ordering for cylindrical algebraic decomposition, Efficiently and effectively recognizing toricity of steady state varieties, Algorithmic reduction of biological networks with multiple time scales, Cylindrical algebraic decomposition with equational constraints, Symbolic computation for the qualitative theory of differential equations, Improved Cross-Validation for Classifiers that Make Algorithmic Choices to Minimise Runtime Without Compromising Output Correctness
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Algebraic systems biology: a case study for the Wnt pathway
- Cylindrical algebraic sub-decompositions
- Quantifier elimination for real algebra -- the quadratic case and beyond
- Toric dynamical systems
- The complexity of linear problems in fields
- Solving systems of polynomial inequalities in subexponential time
- Testing stability by quantifier elimination
- Simplification of quantifier-free formulae over ordered fields
- Paramotopy: parameter homotopies in parallel
- Symbolic versus numerical computation and visualization of parameter regions for multistationarity of biological networks
- A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications
- Bifurcations and chaos in the MAPK signaling cascade
- On the theories of triangular sets
- Solving systems of strict polynomial inequalities
- Using machine learning to improve cylindrical algebraic decomposition
- MAPK's networks and their capacity for multistationarity due to toric steady states
- Numerical algebraic geometry
- Multistationarity in the activation of a MAPK: parametrizing the relevant region in parameter space
- Reduction Methods and Chaos for Quadratic Systems of Differential Equations
- Improving the Use of Equational Constraints in Cylindrical Algebraic Decomposition
- The Complexity of Cylindrical Algebraic Decomposition with Respect to Polynomial Degree
- Optimising Problem Formulation for Cylindrical Algebraic Decomposition
- Using the Regular Chains Library to Build Cylindrical Algebraic Decompositions by Projecting and Lifting
- Computing cylindrical algebraic decomposition via triangular decomposition
- Solving Polynomial Strict Inequalities Using Cylindrical Algebraic Decomposition
- Applying Linear Quantifier Elimination
- The Structure of MESSI Biological Systems
- A Survey of Methods for Deciding Whether a Reaction Network is Multistationary
- Algorithms to Study Large Metabolic Network Dynamics
- Community structure in social and biological networks
- Efficient projection orders for CAD
- QEPCAD B
- Distributed weighted vertex cover via maximal matchings
- Reducibility among Combinatorial Problems
- A Case Study on the Parametric Occurrence of Multiple Steady States
- Thirty Years of Virtual Substitution
- Polynomial homotopy continuation with PHCpack
- Cylindrical Algebraic Decomposition I: The Basic Algorithm
- Stability analysis of biological systems with real solution classification
- Applying Machine Learning to the Problem of Choosing a Heuristic to Select the Variable Ordering for Cylindrical Algebraic Decomposition
- Triangular decomposition of semi-algebraic systems
- Truth table invariant cylindrical algebraic decomposition
