Undirected Graph Theory

MaRDI QIDQ7361238FDO

Authors Chelsea Edmonds

Publication date 29 September 2022

Cites work

• A graph library for Isabelle
• Interactive simplifier tracing and debugging in Isabelle
• Proof pearl: a probabilistic proof for the girth-chromatic number theorem

Cited in

(5)

• Hypergraphs
• Tree Enumeration
• Ramsey Number Bounds
• Derandomization with Conditional Expectations
• The Balog–Szemerédi–Gowers Theorem

This page was built for software: Undirected Graph Theory