Borissov, Y.; Markov, M. Verifying the Computed Weight Distribution for the Binary Reed–Muller Code R(4,9). MEM 2026, 55, 340-349.