Special algorithm for stability analysis of multistable biological regulatory systems (Q2343243): Difference between revisions

@@ Property / describes a project that uses @@
+SYNRAC
@@ Property / describes a project that uses: SYNRAC / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+REDLOG
@@ Property / describes a project that uses: REDLOG / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2058998512
@@ Property / OpenAlex ID: W2058998512 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.1780
@@ Property / arXiv ID: 1312.1780 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4329974
@@ Property / cites work: Q4329974 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4434828
@@ Property / cites work: Q4434828 / rank @@
+Normal rank
@@ Property / cites work @@
+An adjacency algorithm for cylindrical algebraic decompositions of three- dimensional space
+Normal rank
@@ Property / cites work @@
+On the combinatorial and algebraic complexity of quantifier elimination
+Normal rank
@@ Property / cites work @@
+Computing roadmaps of semi-algebraic sets on a variety
+Normal rank
@@ Property / cites work @@
+Algorithms in real algebraic geometry
@@ Property / cites work: Algorithms in real algebraic geometry / rank @@
+Normal rank
@@ Property / cites work @@
+Cylindrical algebraic decompositions for boolean combinations
+Normal rank
@@ Property / cites work @@
+Improved projection for cylindrical algebraic decomposition
+Normal rank
@@ Property / cites work @@
+Simple CAD construction and its applications
@@ Property / cites work: Simple CAD construction and its applications / rank @@
+Normal rank
@@ Property / cites work @@
+QEPCAD B
@@ Property / cites work: QEPCAD B / rank @@
+Normal rank
@@ Property / cites work @@
+Fast simplifications for Tarski formulas based on monomial inequalities
+Normal rank
@@ Property / cites work @@
+Constructing a single open cell in a cylindrical algebraic decomposition
+Normal rank
@@ Property / cites work @@
+On using bi-equational constraints in CAD construction
+Normal rank
@@ Property / cites work @@
+Algorithmic methods for investigating equilibria in epidemic modeling
+Normal rank
@@ Property / cites work @@
+Triangular decomposition of semi-algebraic systems
+Normal rank
@@ Property / cites work @@
+High-dimensional switches and the modelling of cellular differentiation
+Normal rank
@@ Property / cites work @@
+Generalized, switch-like competitive heterodimerization networks
+Normal rank
@@ Property / cites work @@
+Q4079605
@@ Property / cites work: Q4079605 / rank @@
+Normal rank
@@ Property / cites work @@
+Partial cylindrical algebraic decomposition for quantifier elimination
+Normal rank
@@ Property / cites work @@
+Real quantifier elimination is doubly exponential
@@ Property / cites work: Real quantifier elimination is doubly exponential / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient projection orders for CAD
@@ Property / cites work: Efficient projection orders for CAD / rank @@
+Normal rank
@@ Property / cites work @@
+Robust multi-objective feedback design by quantifier elimination
+Normal rank
@@ Property / cites work @@
+Applying quantifier elimination to the Birkhoff interpolation problem
+Normal rank
@@ Property / cites work @@
+Complexity of deciding Tarski algebra
@@ Property / cites work: Complexity of deciding Tarski algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Quantifier elimination in automatic loop parallelization
+Normal rank
@@ Property / cites work @@
+Q4234240
@@ Property / cites work: Q4234240 / rank @@
+Normal rank
@@ Property / cites work @@
+Testing stability by quantifier elimination
@@ Property / cites work: Testing stability by quantifier elimination / rank @@
+Normal rank
@@ Property / cites work @@
+Variant quantifier elimination
@@ Property / cites work: Variant quantifier elimination / rank @@
+Normal rank
@@ Property / cites work @@
+Nonlinear control system design by quantifier elimination
+Normal rank
@@ Property / cites work @@
+Quantifier elimination: Optimal solution for two classical examples
+Normal rank
@@ Property / cites work @@
+Applying Quantifier Elimination to Stability Analysis of Difference Schemes
+Normal rank
@@ Property / cites work @@
+An improved projection operation for cylindrical algebraic decomposition of three-dimensional space
+Normal rank
@@ Property / cites work @@
+On propagation of equational constraints in CAD-based quantifier elimination
+Normal rank
@@ Property / cites work @@
+Algebraic approaches to stability analysis of biological systems
+Normal rank
@@ Property / cites work @@
+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
+Normal rank
@@ Property / cites work @@
+On the computational complexity and geometry of the first-order theory of the reals. II: The general decision problem. Preliminaries for quantifier elimination
+Normal rank
@@ Property / cites work @@
+On the computational complexity and geometry of the first-order theory of the reals. III: Quantifier elimination
+Normal rank
@@ Property / cites work @@
+Discovering polynomial Lyapunov functions for continuous dynamical systems
+Normal rank
@@ Property / cites work @@
+A semi-algebraic approach for asymptotic stability analysis
+Normal rank
@@ Property / cites work @@
+Cylindrical algebraic decomposition using validated numerics
+Normal rank
@@ Property / cites work @@
+Cylindrical decomposition for systems transcendental in the first variable
+Normal rank
@@ Property / cites work @@
+Investigating algebraic and logical algorithms to solve Hopf bifurcation problems in algebraic biology
+Normal rank
@@ Property / cites work @@
+Q5807665
@@ Property / cites work: Q5807665 / rank @@
+Normal rank
@@ Property / cites work @@
+Stability analysis of biological systems with real solution classification
+Normal rank
@@ Property / cites work @@
+Simulation and optimization by quantifier elimination
+Normal rank
@@ Property / cites work @@
+A complete algorithm for automated discovering of a class of inequality-type theorems
+Normal rank
@@ Property / cites work @@
+A computational method for determining strong stabilizability of \(n\)-D systems
+Normal rank