L'ordinateur au c?ur de la découverte mathématique

L'ordinateur joue un rôle essentiel dans le travail du mathématicien,en lui permettant de gérer la complexité de certaines preuves.

Mots-clés : mathématiques pour l'informatique,calcul formel,théorème des quatre couleurs,mathématiques discrètes,coloration graphe,preuve par ordinateur,fuscia
Type de document : texte,image,ressource interactive
Type de ressource : lecture,démonstration
Niveau : higher education
Publics visés : learner
Auteurs ou éditeurs : Institut National de Recherche en Informatique et en Automatique / Interstices