Truncated interval arithmetic block cyclic reduction (Q1825599)

Numerical methods with result verification are considered for the solution of nonlinear systems of equations with interval coefficients for several important classes of applications, such as discretizations of partial elliptic and parabolic boundary value problems (with interval parameters). Truncated variants of the interval-arithmetic block cyclic reduction method integrated into almost globally convergent Krawczyk-like methods (a special type of interval-arithmetic Newton-like methods) are discussed. Numerical examples are presented illustrating significant reduction of computation time.