A function translator is presented which was designed for
interactive programs which allow functions to be defined on-line. The
translator handles functions which are specified by a formula and
functions which are specified as the solution to a system of differential
equations.
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...