Bounds of high quality for first kind Volterra integral equations

摘要

E-Methods for solving linear Volterra integral equations of the first kind with smooth kernels are considered.E-Methods are a new type of numerical algorithms computing numerical approximations together with mathematically guaranteed close error bounds. The basic concepts from verification theory are sketched and such self-validating numerics derived. Computational experiments show the efficiency of these procedures being an advance in numerical methods.