Abstract
The day is coming when information about the propagation of roundoff error in certain types of numerical methods can be determined automatically. This paper investigates the possibility of mechanizing simple Wilkinson-type roundoff analyses. Limitations to the scope of this automation are discussed. © 1974 Springer-Verlag.