Graph Theory 2-2: Towards a Formal Proof of Brooks' Theorem
Why it's on BrighterTube
Editorial review · 85% confidenceFull-course playlist 'Graph Theory' from a curated course list (CO 642 Graph Theory - University of Waterloo); uploader is instructor; playlist judged: Full graduate-level graph theory course lectures uploaded by the instructor covering substantive topics in depth.; title passed a strict title check; oEmbed verified.
What you'll learn
A 14-minute video from Luke Postle: “Graph Theory 2-2: Towards a Formal Proof of Brooks' Theorem”.
Video by Luke Postle, played through YouTube's embedded player.