Disciplines
Institutions
Contribute
Search
Add Thesis
Add Researcher
Add Institution
researcher /
Jean-François Dufourd
Jean-François Dufourd
at_id:
orcid_id:
Disciplines:
Applied sciences
Computer sciences
Edit
Merge
See Links
Directed Thesis:
Détection de collision dans des subdivisions volumiques
Preuves formelles pour le calcul d'enveloppes convexes dans le plan avec des hypercartes
Spécifications et preuves en Coq pour les surfaces combinatoires et leur classification
Sélection dans l'espace des solutions engendrées par un plan de construction géométrique
Preuves en modélisation géométrique par le calcul des constructions inductives
Constructions geometriques sous contraintes en modelisation a base topologique
Construction de systemes de reecriture pour les operations booleennes en modelisation geometrique
Une specification formelle des modeles de courbes et de surfaces de forme libre
Automatisation des constructions géométriques à la règle et au compas
Specification algebrique et realisation d'un modeleur interactif d'objets geometrique volumiques
Spécification et implantation d'une base de données des contacts intermoléculaires
Un cadre pour specifier une base d'objets complexes : application a la teledetection spatiale
Opérations topologiques et géométriques sur les multicartes combinatoires : application à la cartographie thématique
Sur la programmation de constructions geometriques
Le controle de l'interactivite et du temps dans la production d'animation