Domain-theoretic Solution of Differential equations

The major problem with standard computational methods in solving initial value problems (IVP), defined by ordinary differential equations (ODE’s), is that estimating the global error, which arises from initial, local as well as round-off errors due to floating point arithmetic, is extremely involved and the error bound determined for the approximate… (More)