Для контроля вычислений используются так называемые «контрольные суммы»

, (

),
помещенные в столбец

и представляющие собой сумму элементов строк матрицы исходной системы, включая свободные члены.
Если

принять за новые свободные члены в системе, то преобразованная система

, (

),
будет иметь неизвестные

, связанные с прежними неизвестными

соотношениями

.
…
Вообще, если над контрольными суммами в каждой строке проделывать те же операции, что и над остальными элементами этой строки, то при отсутствии ошибок в вычислениях элементы столбца

равны суммам элементов соответствующих преобразованных строк. Это обстоятельство служит контролем прямого хода. Обратный ход контролируется нахождением чисел

, которые должны совпадать с числами

.
В [1, §Метод квадратных корней] приводится пример решения с контролем при помощи суммы.
Ref. [1] Демидович Б.П., Марон И.А. Основы вычислительной математики. — М., 1963. Книга доступна в формате djvu на
.