非表示:
キーワード:
-
要旨:
The calculation of threshold conditions for models of infectious diseases is of
central importance for developing vaccination policies. These models are often
coupled systems of ordinary differential equations, in which case the
computation of threshold conditions can be reduced to the question of stability
of the disease-free equilibrium. This paper shows how computing threshold
conditions for such models can be done fully algorithmically using quantifier
elimination for real closed fields and related simplification methods for
quantifier-free formulas. Using efficient quantifier elimination techniques for
special cases that have been developed by Weispfenning and others, we can also
compute whether there are ranges of parameters for which sub-threshold endemic
equilibria exist.
