... can be implemented, for example, as a + b = [a + b, a + b], a − b = [a − b, a − b], a × b = [min{ab, ab, ab, ab}, max{ab, ab, ab, ab}], a/ b = [a, a] × [1/b, 1/b], and ∈ b / On a computer, a and ... Preface We present VNODE- LP, a C++ solver for computing bounds on the solution of an initial- value problem (IVP) for an ordinary differential equation (ODE) In contrast to traditional ODE solvers, ... containing the LAPACK library name of the directory containing the BLAS library LAPACK LIB BLAS LIB name of the LAPACK library file name of the BLAS library file Figure 2.1 Variables of a VNODE- LP...