Data underlying the publication: The chromatic number of projective spaces

This dataset supports computational results in finite geometry and combinatorics: it provides two executable Jupyter notebooks (<code>.ipynb</code>) that construct and verify a 3-coloring of the projective spaces PG(4,3) and PG(4,4) with no monochromatic line. Data are generated by code in SageMath that enumerates projective points and lines and formulates a feasibility mixed-integer linear program; Gurobi is used as the default ILP solver, with an option to switch to SageMath’s built-in solver. Each notebook contains the complete workflow and outputs: solver logs, existence flag, color-class sizes, and explicit color assignments. The type of data is reproducible computational code and embedded plain-text results; the notebooks can be opened in a text editor and converted to <code>.py</code> for direct execution.