
New enclosure algorithms for the verified solutions of nonlinear Volterra integral equations
Keywords: Interval analysis; Enclosure methods; Verified solution; Nonlinear integral equation; Numerical treatments