Found 1 document(s)
Page 1 of 1
-
Many tools used for the validated simulation of initial value problem of ordinary differential equations (ODE) provide abstraction of the solution under the form of a list of boxes obtained by time discretization and loc...