Fully Computer-assisted Proofs in Extremal Combinatorics
Proceedings of the AAAI Conference on Artificial Intelligence, pp. 12482-12490, 37(10), 2023
Olaf Parczyk, Sebastian Pokutta, Christoph Spiegel, Tibor Szabó
BibTeX DOI
The Rado Multiplicity Problem in Vector Spaces Over Finite Fields
Proceedings of the 12th European Conference on Combinatorics, Graph Theory and Applications, EUROCOMB’23, pp. 784-789, 2023
Juanjo Rué Perna, Christoph SpiegelBibTeX DOI
Another note on intervals in the Hales-Jewett theorem
Electronic Journal of Combinatorics, 29(1), p. P1.62, 2022
Nina Kamčev, Christoph SpiegelBibTeX DOI