Georges Gonthier

Topics that mention them

1. 1976
   The four colour theorem and computer-assisted proof

   Event / publication / experiment · Mathematics

Named on the same topics