Menu
Naviguer par :
Menu
Accueil
Nos ressources
Recherche avancée
Par thème
Par compétence
Par auteur
Toutes les ressources
Vous êtes ici :
Accueil
Par mots-clef
P
preuve par ordinateur
Déposer une
ressource
1
ressource :
preuve par ordinateur
Rechercher
Aide
Recherche avancée
Recherche en cours
Par mots-clef
=
preuve par ordinateur
1
1
Imprimer
Flux RSS
Titre
Titre
Date
Auteur
Afficher 10
Afficher 5
Afficher 10
Afficher 15
Afficher 20
Afficher 25
Afficher 30
Afficher 35
Afficher 40
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
L'ordinateur au cœur de la découverte mathématique
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
En savoir plus
Description complète
L'ordinateur au cœur de la découverte mathématique
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Ajouter à mon panier
Accéder au document
1