Determining Hopf Bifurcation for Epidemic Model by Quantifier Elimination (QE)

We applied an original implementation of QE method successfully in order to investigate the SEIS model. Considering the application of QE method to a model appropriate for AIDS disease, we were interested in change of the qualitative behaviour of a parametrized system of differential equations.

Authors

Institutions

Publication Details

Journal
Acta Informatica Medica
Published
2025-01-01
DOI
https://doi.org/10.5455/aim.2025.33.162-169
Primary Topic
Mathematical and Theoretical Epidemiology and Ecology Models
Type
article
Field-Weighted Citation Impact
0.00

Funders

Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
article

Determining Hopf Bifurcation for Epidemic Model by Quantifier Elimination (QE)

Mirna Udovičić
Acta Informatica Medica
Mathematical and Theoretical Epidemiology and Ecology Models
article

Determining Hopf Bifurcation for Epidemic Model by Quantifier Elimination (QE)

Mirna Udovičić
article en

Abstract

We applied an original implementation of QE method successfully in order to investigate the SEIS model. Considering the application of QE method to a model appropriate for AIDS disease, we were interested in change of the qualitative behaviour of a parametrized system of differential equations.

Acta Informatica MedicaVol. 33(2)
Sarajevo School of Science and Technology (BA)
Federalno Ministarstvo Obrazovanja i Nauke
Good health and well-being
Openalex Percentile: Top 85%
Mathematical and Theoretical Epidemiology and Ecology Models
DOIOpen Access PDFOpenAlex
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.

Determining Hopf Bifurcation for Epidemic Model by Quantifier Elimination (QE) — Mirna Udovičić · Acta Informatica Medica (2025) | TGRS Research Map | TGRS