Algorithmic global criteria for excluding oscillations
From MaRDI portal
Publication:542032
DOI10.1007/s11538-010-9618-0zbMath1214.92002OpenAlexW2057602552WikidataQ51617351 ScholiaQ51617351MaRDI QIDQ542032
Andreas Weber, Thomas Sturm, Essam O. Abdel-Rahman
Publication date: 8 June 2011
Published in: Bulletin of Mathematical Biology (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11538-010-9618-0
Dynamical systems in biology (37N25) Kinetics in biochemical problems (pharmacokinetics, enzyme kinetics, etc.) (92C45) Qualitative theory for ordinary differential equations (34C99) General biology and biomathematics (92B05)
Related Items (7)
PoCaB: A Software Infrastructure to Explore Algebraic Methods for Bio-chemical Reaction Networks ⋮ Better answers to real questions ⋮ A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications ⋮ Cyclic negative feedback systems: what is the chance of oscillation? ⋮ Algebraic methods in mathematical biology ⋮ A geometric method for model reduction of biochemical networks with polynomial rate functions ⋮ Algorithmic reduction of biological networks with multiple time scales
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Qualitative simulation of the initiation of sporulation in \textit{Bacillus subtilis}
- Investigating algebraic and logical algorithms to solve Hopf bifurcation problems in algebraic biology
- Quantifier elimination for real algebra -- the quadratic case and beyond
- Non-periodicity in chemostat equations: a multi-dimensional negative Bendixson-Dulac criterion
- Algebraic approaches to stability analysis of biological systems
- Graph-theoretic methods for the analysis of chemical and biochemical networks. I. Multistability and oscillations in ordinary differential equation models
- Weak quantifier elimination for the full linear theory of the integers
- Competition in the gradostat
- The complexity of linear problems in fields
- Real quantifier elimination is doubly exponential
- Stable oscillations in mathematical models of biological control systems
- A new approach for automatic theorem proving in real geometry
- Dynamical behaviour of biological regulatory networks. I: Biological role of feedback loops and practical use of the concept of the loop- characteristic state
- Testing stability by quantifier elimination
- Simulation and optimization by quantifier elimination
- Simplification of quantifier-free formulae over ordered fields
- Deciding Hopf bifurcations by quantifier elimination in a software-component architecture
- Lower bounds for the Hausdorff dimension of attractors
- Solving systems of strict polynomial inequalities
- Compound matrices and ordinary differential equations
- Cylindrical algebraic decomposition using validated numerics
- Mathematical model of the cell division cycle of fission yeast
- A generalization of Bendixson’s criterion
- Weak Integer Quantifier Elimination Beyond the Linear Case
- Applying a Rigorous Quasi-Steady State Approximation Method for Proving the Absence of Oscillations in Models of Genetic Circuits
- Investigating Generic Methods to Solve Hopf Bifurcation Problems in Algebraic Biology
- Bendixon-Type Theorems with Applications
- Competition in an n-Vessel Gradostat
- Three-Dimensional Competitive Lotka--Volterra Systems with no Periodic Orbits
- Efficient projection orders for CAD
- Cylindrical Algebraic Decomposition I: The Basic Algorithm
- Deciding polynomial-exponential problems
- On Proving the Absence of Oscillations in Models of Genetic Circuits
- Artificial Intelligence and Symbolic Computation
This page was built for publication: Algorithmic global criteria for excluding oscillations
