Borissov, Y. and Markov, M. 2026. Verifying the computed weight distribution for the binary Reed–Muller Code R(4,9). Mathematics and Education in Mathematics. 55, (May 2026), 340–349. DOI:https://doi.org/10.55630/mem.2026.55.340-349.