Background: An application of a novel method of a quantifier elimination in epidemiology was presented in this paper.
Objective: We investigated the existence of the endemic equilibrium for the SEIRS model by QE method and gave a short review of the epidemic prediction models for covid-19.
Methods: A new method for quantifier elimination for the theory of real closed fields.