Print Friendly, PDF & Email

Est-il possible de colorier n’importe quelle carte géographique avec 4 couleurs seulement ? Selon l’AFP, Georges Gonthier, Microsoft, et Benjamin Werner, Inria, ont mis au point un programme informatique qui auto – vérifie ses calculs simulant ainsi le travail du mathématicien.
Dépêche AFP
Le site de G. Gonthier (avec logiciel)
Le théorème des 4 couleurs