1 ressource : mathématiques pour l'informatique

Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
1 ressource
page 1 sur 1
résultats 1 à 1
UNIT
Description : 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
Date : 01-09-2011
Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode