Vous êtes ici :

UFR de mathématique et d'informatique

Information importante

La page que vous consultez correspond à l'offre de formation 2023-2024.

Trouvez votre formation pour l'année universitaire 2024-2025

Preuves et résolution de contraintes géométriques

  • Cours (CM) -
  • Cours intégrés (CI) 22h
  • Travaux dirigés (TD) -
  • Travaux pratiques (TP) 10h
  • Travail étudiant (TE) -

Langue de l'enseignement : Français

Niveau de l'enseignement : B2-Avancé - Utilisateur indépendant

Description du contenu de l'enseignement

La spécialité I3D fait un grand usage de la géométrie que ce soit dans la définition de types abstraits en modélisation ou dans la conception des algorithmes dans les domaines ayant trait à l'image ou la réalité virtuelle. L'objectif de cette UE est de bien comprendre les fondements de la géométrie synthétique en lien avec la géométrie analytique et de réfléchir à la correction des méthodes utilisées dans les autres matières géométriques.
Pour cela, deux grands domaines sont explorés : d'une part, la preuve en géométrie avec la présentation des fondements et différentes méthodes de preuves automatiques ; et d'autre part, la gestion des contraintes géométriques comme méthode de spécification de scènes et de figures. Ces deux domaines sont intimement liés même s'ils donnent lieu à des applications différentes. Ainsi, la résolution de contraintes géométriques trouve naturellement des applications en CAO avec la modélisation paramétrique, et les preuves en géométrie constituent un ingrédient essentiel de la certification des logiciels produits en géométrie algorithmique.
Parmi les points qui seront étudiés pour illustrer cette matière, il pourra y avoir :
la formalisation de la géométrie et la prise en main de la librairie GeoCoq,
la présentation de méthodes de preuves automatiques comme la méthode des aires et la méthode de Wu,
la théorie de construction à la règle et au compas et les implantations de solveur s'appuyant sur des systèmes à base de connaissances,
les techniques de décomposition, notamment celles à base de graphe, en distinguant celles qui prennent en compte l'invariance par déplacement,
les méthodes numériques générales usuelles, comme les méthodes fondées sur la méthode de Newton-Raphson ou les méthodes par continuation, et leur adaptation à la géométrie.

Compétences à acquérir

La spécialité I3D fait un grand usage de la géométrie que ce soit dans la définition de types abstraits en modélisation ou dans la conception des algorithmes dans les domaines ayant trait à l'image ou la réalité virtuelle. L'objectif de cette UE est de bien comprendre les fondements de la géométrie synthétique en lien avec la géométrie analytique et de réfléchir à la correction des méthodes utilisées dans les autres matières géométriques.
Pour cela, deux grands domaines sont explorés : d'une part, la preuve en géométrie avec la présentation des fondements et différentes méthodes de preuves automatiques ; et d'autre part, la gestion des contraintes géométriques comme méthode de spécification de scènes et de figures. Ces deux domaines sont intimement liés même s'ils donnent lieu à des applications différentes. Ainsi, la résolution de contraintes géométriques trouve naturellement des applications en CAO avec la modélisation paramétrique, et les preuves en géométrie constituent un ingrédient essentiel de la certification des logiciels produits en géométrie algorithmique.
Parmi les points qui seront étudiés pour illustrer cette matière, il pourra y avoir :
la formalisation de la géométrie et la prise en main de la librairie GeoCoq,
la présentation de méthodes de preuves automatiques comme la méthode des aires et la méthode de Wu,
la théorie de construction à la règle et au compas et les implantations de solveur s'appuyant sur des systèmes à base de connaissances,
les techniques de décomposition, notamment celles à base de graphe, en distinguant celles qui prennent en compte l'invariance par déplacement,
les méthodes numériques générales usuelles, comme les méthodes fondées sur la méthode de Newton-Raphson ou les méthodes par continuation, et leur adaptation à la géométrie.

Pré-requis obligatoires

Logique, Preuve assistée par ordinateur et les UE de géométrie de M1

Contact

UFR de mathématique et d'informatique

7, rue René Descartes
67084 STRASBOURG CEDEX
0368850200

Formulaire de contact


MASTER - Informatique

Partenaires

Logo du CNRS
Logo Établissement associé de l'Université de Strasbourg
Logo du réseau Epicur
Logo de EUCOR, Le Campus européen
Logo de l'Inserm Grand Est
Logo de l'Inria

Labels

Logo du label Bienvenue en France
Logo du programme HRS4R
Logo du programme France 2030
Logo de Service Public+

Réseaux

Logo de France Universités
Logo de la Ligue européenne des universités de recherche (LERU)
Logo du réseau Udice
Logo de l'Université franco-allemande