Publication | Closed Access

An Effective High-Order Interval Method for Validating Existence and Uniqueness of the Solution of an IVP for an ODE