Hypermaps and their use in the formalized four-colour theorem proof

  • Jan H. Heemstra

Scriptie/Masterproef: Bachelor

Samenvatting

Datum prijs4 jul 2018
Originele taalEngels
BegeleiderJ.H. (Herman) Geuvers (Afstudeerdocent 1) & Rudi A. Pendavingh (Afstudeerdocent 2)

Citeer dit

Hypermaps and their use in the formalized four-colour theorem proof
Heemstra, J. H. (Auteur). 4 jul 2018

Scriptie/Masterproef: Bachelor