Groups
Category
A system of linear equations asks for numbers that make several linear relationships true at the same time, which we compactly write as Ax = b.
Gaussian elimination over GF(2) is ordinary Gaussian elimination where addition and subtraction are XOR and multiplication is AND.