Not finding it? Sign in to also search OpenAlex live.
-
A human-checkable proof of the 112-vertex counterexample to the Petersen coloring conjecture2026 arXiv (Cornell University) preprint Computer Science Advanced Graph Theory Research Open access
Jan Goedgebeur, Jorik Jooken, Edita Máčajová, Davide Mattiolo, Giuseppe Mazzuoccolo, Nikolay Ulyanov
0citations
15 results