{"title":"Application of Quantifier Elimination in Epidemiology.","authors":"Mirna Udovicic","doi":"10.5455/aim.2024.32.71-75","DOIUrl":null,"url":null,"abstract":"<p><strong>Background: </strong>An application of a novel method of a quantifier elimination in epidemiology was presented in this paper.</p><p><strong>Objective: </strong>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.</p><p><strong>Methods: </strong>A new method for quantifier elimination for the theory of real closed fields.</p><p><strong>Results: </strong>Obtained value of a reproduction number and endemic equilibrium for the SEIRS model by QEAnalysis of the SEIR model with the concrete values through the example of Severe Acute Respiratory Syndrome (SARS) (a critical value of a transmission rate is evaluated in the example).</p><p><strong>Conclusion: </strong>The main result of this paper is the obtained value of the endemic equilibrium for the SEIRS model (similar result is obtained for the SEIR model). Also, we have analysed the SEIR model through the examle of SARS and we reviewed several epidemic prediction models for covid-19.</p>","PeriodicalId":7074,"journal":{"name":"Acta Informatica Medica","volume":"32 1","pages":"71-75"},"PeriodicalIF":0.0000,"publicationDate":"2023-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC10997178/pdf/","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Acta Informatica Medica","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.5455/aim.2024.32.71-75","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"Medicine","Score":null,"Total":0}
引用次数: 0
Abstract
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.
Results: Obtained value of a reproduction number and endemic equilibrium for the SEIRS model by QEAnalysis of the SEIR model with the concrete values through the example of Severe Acute Respiratory Syndrome (SARS) (a critical value of a transmission rate is evaluated in the example).
Conclusion: The main result of this paper is the obtained value of the endemic equilibrium for the SEIRS model (similar result is obtained for the SEIR model). Also, we have analysed the SEIR model through the examle of SARS and we reviewed several epidemic prediction models for covid-19.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
