La reducción de Barrett toma el hecho de que existen números "q" y "r" de manera que "x" = "mq"+"r" y 0 ≤ r < m (véase Algoritmo de la división), y lo utiliza para estimar "q" utilizando sólo operaciones de recorrimiento en lugar de divisiones.