\( \DeclareMathOperator{\abs}{abs} \newcommand{\ensuremath}[1]{\mbox{$#1$}} \)

  JOB "EAN13"    file - j.wxmx

(%i1) kill(all);
\[\tag{%o0} \mathit{done}\]
(%i1) p:[4,8,2,0,0,3,6,4,8,0,1,2,8];
\[\tag{%o1} [4,8,2,0,0,3,6,4,8,0,1,2,8]\]
(%i2) s1:p[1]+p[3]+p[5]+p[7]+p[9]+p[11];
\[\tag{%o2} 21\]
(%i3) s2:(p[2]+p[4]+p[6]+p[8]+p[10]+p[12])·3;
\[\tag{%o3} 51\]
(%i4) s:s1+s2;
\[\tag{%o4} 72\]
(%i5) m:mod (s, 10);
\[\tag{%o5} 2\]

  Перебор цифр у першому розряді коду й перевірка на відповідність контрольному розряду

(%i8) for a:0 thru 9 step 1 do (s1:a+p[3]+p[5]+p[7]+p[9]+p[11],s2:(p[2]+p[4]+p[6]+p[8]+p[10]+p[12])·3,s:s1+s2,m:mod (s, 10),if m=(10−p[13]) then display(a) else nop)$
\[a=4\]
Created with wxMaxima. The source of this maxima session can be downloaded here.