Notre catalogue de ressources
Naviguer par :
Menu
Toutes les ressources
Nouveautés
Recherche avancée
Par thème
Par auteur
Produite par UNIT
Aide
Recherche en cours
Par mots-clef
=
coloration
Affiner ma recherche
Imprimer
Flux RSS
Titre
Titre
Date
Auteur
Afficher 12
Afficher 12
Afficher 24
Afficher 36
Afficher 48
Afficher 60
Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
3
résultats
section 1
sur 1
résultats
1 à 3
UNIT
Géomatique : la théorie des graphes
Description
:
Cours sur l'utilisation de la théorie des graphes en géomatique avec les contenus suivants : définitions de base, notion de cycle et de flots, problèmes de cheminement, problèmes Hamiltoniens et Eulériens, coloration, graphes d'intervalles et graphes triangulés, hypergraphes. Ce document n'est pas u ...
Date
:
21-12-2005
Description complète
Géomatique : la théorie des graphes
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Accéder au document
UNIT
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.
Date
:
01-09-2011
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
Accéder au document
UNIT
Preuves formelles, preuves calculatoires
Description
:
Dans cet exposé, Benjamin Werner présente les méthodes formelles appliquées à la validation de résultats spectaculaires comme la démonstration du théorème des quatre couleurs, ou encore de la conjecture de Kepler.
Date
:
08-01-2007
Description complète
Preuves formelles, preuves calculatoires
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Accéder au document
Afficher section
2
sur 1