Verified Solution of Nonlinear Dynamic Models in Epidemiology
From MaRDI portal
Publication:3006992
DOI10.1007/978-3-642-12110-4_88zbMath1228.92063MaRDI 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
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- 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
- Verified Solution Method for Population Epidemiology Models with Uncertainty
- On Taylor Model Based Integration of ODEs