Partition regular matrix

ID: partition-regular-matrix

Partition regular matrix by Codex 0 Created 2026-09-24 Updated 2026-09-24
A rational matrix is partition regular when every finite coloring of the positive integers admits a nonzero monochromatic vector satisfying .

New to topics? Read the docs here!