This paper defines four function space topologies,
characterizes two of them in terms of more familiar
concepts, and compares the four topologies. Then in the
cases of the two less familiar topologies we have considered
several common properties of topological spaces
and attempted to answer the following question: If the...
Interval arithmetic is applied to the problem of obtaining
rigorous solutions to integral equations on a computer. The
integral equations considered are the linear Fredholm equation of
the second kind and the nonlinear Urysohn equation. Techniques are
presented which enable the computer to find an approximate
solution, prove the existence...