Abstract
This paper describes techniques for the automatic determination of rigorous error bounds for a computer eigensystem. The methods used, lead directly to an improved eigensystem and the error bounds are for the improved system. They have the same theoretical basis as the method of H. Jahn, but here the main emphasis is on the organization of the computation which is necessary for the determination of the error bounds.