A Formal Proof of R(4,5)=25
Preprint in arXiv (April 2024)
The most recent citing publications are shown below. View all 11 publications that cite this research output on Dimensions.
Preprint in arXiv (April 2024)
Article in Constraints (January 2022)
Monograph (April 2021)