An initial value method for the computation of the characteristic values and functions of an integral operator-II

A convergence proof is given for an initial value method for finding the spectral properties of an integral operator. The algorithm, which is based on a Cauchy system for the Fredholm determinants, is related to the Nyström method and results of Anselone and Atkinson become applicable. The proof is also shown to work for a modification of the procedure due to Kalaba and Scott.