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...
This paper is about the computation of the stresses on a rigid body from a knowledge
of the far field velocities in exterior Stokes and Oseen flows. The surface of the
body is assumed to be bounded and smooth, and the body is assumed to move with
constant velocity. We...