Algorytm ten można opisać wzorem:

z13 = (10 - (( z1 + z3 + z5 + z7 + z9 + z11 + 3*(z2 + z4 + z6 + z8 + z10 + z12)) mod 10)) mod 10

gdzie

x mod y to reszta z dzielenia x przez y.

* na przykład znak kontrolny dla numeru 978-3-16-148410-0 oblicza się następująco:

9·1 + 7·3 + 8·1 + 3·3 + 1·1 + 6·3 + 1·1 + 4·3 + 8·1 + 4·3 + 1·1 + 0·3 = 100

100 : 10 = 10

dzielenie bez reszty więc znak kontrolny wynosi 0.

* a dla numeru 978-83-7181-510-2 oblicza się następująco:

9·1 + 7·3 + 8·1 + 8·3 + 3·1 + 7·3 + 1·1 + 8·3 + 1·1 + 5·3 + 1·1 + 0·3 = 128

128 : 10 = 12 reszty 8

10 - 8 = 2

znak kontrolny wynosi więc 2.