Verified Solution of Nonlinear Dynamic Models in Epidemiology

DOI10.1007/978-3-642-12110-4_88zbMath1228.92063OpenAlexW35276450MaRDI QIDQ3006992

Joshua A. Enszer, Mark A. Stadtherr

Publication date: 21 June 2011

Published in: Progress in Industrial Mathematics at ECMI 2008 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-12110-4_88

Mathematics Subject Classification ID

Epidemiology (92D30) Dynamical systems in biology (37N25) Medical epidemiology (92C60)

Uses Software

• INTOPT_90

Cites Work

• Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models
• An effective high-order interval method for validating existence and uniqueness of the solution of an IVP for an ODE
• Validated solutions of initial value problems for ordinary differential equations
• Taylor forms -- use and limits.
• Validated solutions of initial value problems for parametric ODEs
• On Taylor Model Based Integration of ODEs
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Verified Solution of Nonlinear Dynamic Models in Epidemiology