Algorithmic global criteria for excluding oscillations (Q542032): Difference between revisions

@@ Property / cites work @@
+Deciding polynomial-exponential problems
@@ Property / cites work: Deciding polynomial-exponential problems / rank @@
+Normal rank
@@ Property / cites work @@
+Cylindrical Algebraic Decomposition I: The Basic Algorithm
+Normal rank
@@ Property / cites work @@
+On Proving the Absence of Oscillations in Models of Genetic Circuits
+Normal rank
@@ Property / cites work @@
+Applying a Rigorous Quasi-Steady State Approximation Method for Proving the Absence of Oscillations in Models of Genetic Circuits
+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 @@
+Qualitative simulation of the initiation of sporulation in \textit{Bacillus subtilis}
+Normal rank
@@ Property / cites work @@
+Artificial Intelligence and Symbolic Computation
@@ Property / cites work: Artificial Intelligence and Symbolic Computation / rank @@
+Normal rank
@@ Property / cites work @@
+Simplification of quantifier-free formulae over ordered fields
+Normal rank
@@ Property / cites work @@
+A new approach for automatic theorem proving in real geometry
+Normal rank
@@ Property / cites work @@
+Q4247790
@@ Property / cites work: Q4247790 / 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 @@
+Deciding Hopf bifurcations by quantifier elimination in a software-component architecture
+Normal rank
@@ Property / cites work @@
+Q3995249
@@ Property / cites work: Q3995249 / rank @@
+Normal rank
@@ Property / cites work @@
+A generalization of Bendixson’s criterion
@@ Property / cites work: A generalization of Bendixson’s criterion / rank @@
+Normal rank
@@ Property / cites work @@
+Non-periodicity in chemostat equations: a multi-dimensional negative Bendixson-Dulac criterion
+Normal rank
@@ Property / cites work @@
+Stable oscillations in mathematical models of biological control systems
+Normal rank
@@ Property / cites work @@
+Testing stability by quantifier elimination
@@ Property / cites work: Testing stability by quantifier elimination / rank @@
+Normal rank
@@ Property / cites work @@
+Competition in the gradostat
@@ Property / cites work: Competition in the gradostat / rank @@
+Normal rank
@@ Property / cites work @@
+Weak Integer Quantifier Elimination Beyond the Linear Case
+Normal rank
@@ Property / cites work @@
+Weak quantifier elimination for the full linear theory of the integers
+Normal rank
@@ Property / cites work @@
+Lower bounds for the Hausdorff dimension of attractors
+Normal rank
@@ Property / cites work @@
+Graph-theoretic methods for the analysis of chemical and biochemical networks. I. Multistability and oscillations in ordinary differential equation models
+Normal rank
@@ Property / cites work @@
+Compound matrices and ordinary differential equations
+Normal rank
@@ Property / cites work @@
+Algebraic approaches to stability analysis of biological systems
+Normal rank
@@ Property / cites work @@
+Mathematical model of the cell division cycle of fission yeast
+Normal rank
@@ Property / cites work @@
+Competition in an <i>n</i>-Vessel Gradostat
@@ Property / cites work: Competition in an <i>n</i>-Vessel Gradostat / rank @@
+Normal rank
@@ Property / cites work @@
+Solving systems of strict polynomial inequalities
@@ Property / cites work: Solving systems of strict polynomial inequalities / rank @@
+Normal rank
@@ Property / cites work @@
+Cylindrical algebraic decomposition using validated numerics
+Normal rank
@@ Property / cites work @@
+Q5301637
@@ Property / cites work: Q5301637 / rank @@
+Normal rank
@@ Property / cites work @@
+Investigating Generic Methods to Solve Hopf Bifurcation Problems in Algebraic Biology
+Normal rank
@@ Property / cites work @@
+Investigating algebraic and logical algorithms to solve Hopf bifurcation problems in algebraic biology
+Normal rank
@@ Property / cites work @@
+Dynamical behaviour of biological regulatory networks. I: Biological role of feedback loops and practical use of the concept of the loop- characteristic state
+Normal rank
@@ Property / cites work @@
+Bendixon-Type Theorems with Applications
@@ Property / cites work: Bendixon-Type Theorems with Applications / rank @@
+Normal rank
@@ Property / cites work @@
+Three-Dimensional Competitive Lotka--Volterra Systems with no Periodic Orbits
+Normal rank
@@ Property / cites work @@
+The complexity of linear problems in fields
@@ Property / cites work: The complexity of linear problems in fields / rank @@
+Normal rank
@@ Property / cites work @@
+Q4234321
@@ Property / cites work: Q4234321 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantifier elimination for real algebra -- the quadratic case and beyond
+Normal rank
@@ Property / cites work @@
+Simulation and optimization by quantifier elimination
+Normal rank
@@ Property / cites work @@
+Q4391232
@@ Property / cites work: Q4391232 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2702031
@@ Property / cites work: Q2702031 / rank @@
+Normal rank