Georges Gonthier: The Four Colour Theorem

Georges Gonthier: the four colour theorem

RU Computer Science

BPR programme: participant Georges Gonthier explains "Four colour theorem"

Isaac Newton Institute for Mathematical Sciences

The Four Color Map Theorem - Numberphile

The Four Colour Theorem

Math's Map Coloring Problem - The First Proof Solved By A Computer

Quanta Magazine

The 4 Colour Theorem Explained

The Science Biome

Why is 4-color theorem easier on a torus?

Proof Engineering, from the Four Colour to the Odd Order Theorem

Microsoft Research

Georges Gonthier: The Logic of Real Proofs

Federated Logic Conference FLoC 2018

Four Colors Theorem by Ellie

The Four-Colour Theorem

Intro proof 4 colour map theorem

RH

Four color theorem

The Four-Color Theorem and an Instanton Invariant for Spatial Graphs II - Tomasz Mrowka

Institute for Advanced Study

The Four-Color Theorem and an Instanton Invariant for Spatial Graphs I - Peter Kronheimer

Institute for Advanced Study

Georges Gonthier: Computer proofs: teaching computers mathematics, and conversely

International Mathematical Union

Four Color Theorem (extra footage) - Numberphile

Four Colors, ANY Map!

Benjamin Hershey

Four color theorem——history of mathematics｜Dr.egg

'The real four-colour problem'