Abstract:
This paper brings together two methods producing numerical solutions with a statement of their quality - the nonstandard finite difference method and the method of validated computing. It deals with the construction and the analysis of reliable numerical discretizations of dynamical systems by employing these two techniques. An epidemiological model is used as a model example for their combined application.
