“…For example, ellipsoidal calculus was used by Valyi and Kurzhanski [10], Lohner-type algorithm by Zgliczynski and Kapela [16], grid methods by Puri, Varaiya, and Borkar [11], also by Beyn and Rieger [3], discrete approximations by Dontchev and Farkhi [6], also by Grammel [8]. However, these algorithms either do not give rigorous over-approximations, or are approximations of low-order (Euler approximations with a first-order singlestep truncation error).…”