cast out nines in German

(arithmetic) To apply a procedure for verifying whether an arithmetic operation is probably correct or certainly incorrect using modulo characteristics of the digit 9.