Pages that link to "Item:Q2914757"
From MaRDI portal
The following pages link to Proof Pearl: A Probabilistic Proof for the Girth-Chromatic Number Theorem (Q2914757):
Displayed 4 items.
- Girth-Chromatic (Q40962) (← links)
- Formalization of the Domination Chain with Weighted Parameters (Short Paper) (Q5875450) (← links)
- Isabelle formalisation of original representation theorems (Q6118819) (← links)
- Formalising Szemerédi's Regularity Lemma and Roth's Theorem on Arithmetic Progressions in Isabelle/HOL (Q6156630) (← links)