Sistemas de Identificação com Algarismos de Controlo 
O algarismo de controlo do Cartão Visa
O algarismo de controlo do Cartão Visa é determinado do seguinte modo: \[\overline{2x_{1}}+x_{2}+\overline{2x_{3}}+x_{4}+\overline{2x_{5}}+x_{6}+\overline{2x_{7}}+x_{8}+\overline{2x_{9}}+x_{10}+\overline{2x_{11}}+x_{12}+\overline{2x_{13}}+x_{14}+\overline{2x_{15}}+C=0\,(\mbox{mod }10)\] onde \(C\) é o algarismo de controlo (último algarismo), \(x_{1}\) é o 1º algarismo do número do Cartão Visa, \(x_{2}\) é o 2º, \(x_{3}\) é o 3º e assim sucessivamente. Tem-se ainda que: \[\overline{2x_{i}}=\left\{ \begin{array}{ll} \overline{2x_{i}} & \mbox{se }\overline{2x_{i}}< 10\\ \overline{2x_{i}}-9 & \mbox{se }\overline{2x_{i}}\geq10 \end{array}\right.\]
Note-se que estamos a considerar a Aritmética Modular e não a aritmética usual.
