Borissov, Yuri, and Miroslav Markov. 2026. “Verifying the Computed Weight Distribution for the Binary Reed–Muller Code R(4,9)”. Mathematics and Education in Mathematics 55 (May):340-49. https://doi.org/10.55630/mem.2026.55.340-349.