Algorithmic methods for investigating equilibria in epidemic modeling
From MaRDI portal
Publication:2457392
DOI10.1016/j.jsc.2005.09.011zbMath1120.92034OpenAlexW2135122395WikidataQ62015449 ScholiaQ62015449MaRDI QIDQ2457392
Dominik Novotni, Andreas Weber, Christopher W. Brown, M'hammed El Kahoui
Publication date: 23 October 2007
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
Full work available at URL: http://edoc.mpg.de/314451
Epidemiology (92D30) Computing methodologies and applications (68U99) Quantifier elimination, model completeness, and related topics (03C10)
Related Items
Curtains in CAD: Why Are They a Problem and How Do We Fix Them? ⋮ AN ALGEBRAIC APPROACH FOR A MALARIA TRANSMISSION MODEL WITH ENVIRONMENTAL SANITATION ⋮ A mathematical model for a transmissible disease with a variant ⋮ On a three-dimensional and two four-dimensional oncolytic viro-therapy models ⋮ Unnamed Item ⋮ Cylindrical algebraic sub-decompositions ⋮ Validity proof of Lazard's method for CAD construction ⋮ Using machine learning to improve cylindrical algebraic decomposition ⋮ Unnamed Item ⋮ Truth table invariant cylindrical algebraic decomposition ⋮ Qualitative analysis of an Ivlev-type bio-economic system ⋮ Need Polynomial Systems Be Doubly-Exponential? ⋮ Cylindrical algebraic decomposition with equational constraints ⋮ Mathematical Model for Dengue Epidemics with Differential Susceptibility and Asymptomatic Patients Using Computer Algebra ⋮ The Complexity of Cylindrical Algebraic Decomposition with Respect to Polynomial Degree ⋮ Problem Formulation for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition ⋮ Applying Machine Learning to the Problem of Choosing a Heuristic to Select the Variable Ordering for Cylindrical Algebraic Decomposition ⋮ Special algorithm for stability analysis of multistable biological regulatory systems
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Competition in the gradostat
- The complexity of linear problems in fields
- A threshold result for an epidemiological model
- Nonlinear control system design by quantifier elimination
- Testing stability by quantifier elimination
- Simplification of quantifier-free formulae over ordered fields
- Backward bifurcation in epidemic control
- Nonlinear dynamics in physiology and medicine.
- A simple vaccination model with multiple endemic states
- Deciding Hopf bifurcations by quantifier elimination in a software-component architecture
- Reconstruction of the seasonally varying contact rate for measles
- Reproduction numbers and sub-threshold endemic equilibria for compartmental models of disease transmission
- Dynamical systems and their applications in biology
- Epidemiological models with varying population size and dose-dependent latent period
- The Mathematics of Infectious Diseases
- Competition in an n-Vessel Gradostat
- Simple CAD construction and its applications
- Modeling epidemics caused by respiratory syncytial virus (RSV)
This page was built for publication: Algorithmic methods for investigating equilibria in epidemic modeling