FINITE DECIMAL FRACTIONS AS ENTRIES OF NONSINGULAR MATRICES

How can one check, for a given nonsingular real number matrix the entries of which have only a finite number of decimal digits, whether this matrix will remain nonsingular after some decimal digits are arbitrarily added to some (explicitly specified in advance) of its entries? It turns out that this problem is algorithmically solvable. A computer implementation of the proposed algorithmic solution is discussed.