Error Bounds in Parametric Space Validated Interval Scheme (Introduction)
Every step of a validated interval scheme involves [3]:
-
- Computing an interval valued function such that:
-
- and
- The width of the is below a given tolerance
-
- And the scheme verifies the existence and uniqueness of the solution in
-
- the scheme notifies if the IVP has no solution or if it has more than one solution in .