New methods for evaluating the validity of the results of mathematical computations
From a mathematical standpoint, numerical methods can be divided in two classes: (i) Direct methods, which give an exact result after some finite number of computations, and (ii) approximate methods, which only give an approximate result after any finite number of computations.