A constant enclosure method for validating existence and uniqueness of the solution of an initial value problem for a fractional differential equation
Keywords: Fractional order differential equations; Caputo fractional derivative; Initial value problems; Existence and uniqueness; Interval analysis; Validated computing;