Reduction of Enclosure In Parameter Space
Objective : Find two linear polynomials at tj and two at tj+1 such that a root is enclosed by those four linear polynomials.
Approach
Lohner’s polynomial enclosure method* using a polynomial of degree one.
* R. J. Lohner, “Step size and Order Control in the Verified Solution of IVP with ODE’s”, SciCADE’95. International Conference on Scientific Computation and Differential Equations, Stanford, CA, 1995