Floating-point error propagation in iterative methods

In this paper, a formal space for the modelization of computer arithmetic and a pseudo-distance defined on this space to study computer iterative sequences is proposed. Some properties if this pseudo-distance are examined and a termination criterion for iterative sequences in this space is given. This termination criterion applies to one-dimensional as well as multi-dimensional sequences.