New methods for evaluating the validity of the results of mathematical computations