Cabri-graphes : un cahier de brouillon interactif pour la théorie des graphes

Résumé : Cabri-graphes est un environnement logiciel, destine aux chercheurs, étudiants et enseignants en théorie des graphes. La pratique de cette discipline amené a recourir a des représentations graphiques, afin de visualiser les structures mathématiques mises en œuvre; ceci dans le but de les manipuler, de leur appliquer concrètement certaines transformations, afin de vérifier une propriété, conforter ou infirmer une idée, une conjecture. Cette pratique, menée sur un cahier de brouillon traditionnel, souffre de limitations et les résultats ne sont que faiblement garantis. C'est pourquoi nous avons étudié et réalisé un logiciel, alliant la simplicité d'usage d'un environnement interactif à la puissance de l'ordinateur. Cette thèse présente l'ensemble des concepts mathématiques et de génie logiciel ayant servi a la réalisation de ce projet. Nous donnons en particulier l'implémentation d'un générateur de graphes aléatoires, ainsi que quelques applications motivées et réalisées grâce à cet environnement logiciel
Type de document :
Thèse
Modélisation et simulation. Université Joseph-Fourier - Grenoble I, 1990. Français


https://tel.archives-ouvertes.fr/tel-00338380
Contributeur : Thèses Imag <>
Soumis le : jeudi 13 novembre 2008 - 07:15:26
Dernière modification le : lundi 21 mars 2016 - 17:39:25
Document(s) archivé(s) le : lundi 7 juin 2010 - 22:55:21

Identifiants

  • HAL Id : tel-00338380, version 1

Collections

Citation

Olivier Baudon. Cabri-graphes : un cahier de brouillon interactif pour la théorie des graphes. Modélisation et simulation. Université Joseph-Fourier - Grenoble I, 1990. Français. <tel-00338380>

Exporter

Partager

Métriques

Consultations de
la notice

522

Téléchargements du document

163