Discussion:Spécifications, contraintes et preuves
Aller à la navigation
Aller à la recherche
Problématique générale
où on expose les questions relatives à la formalisation de la géométrie (je dis _la_ formalisation comme une problématique recouvrant tous les points de vue possibles :
- aspects combinatoires
- formalisation "fondamentale" comme celle de Hilbert ou Tarski
- formalisations ad hoc (qu'on utilise dans des applications)
- formalisation d'algorithmes dans le domaine de la géométrie
Cette formalisation, ou ces formalisations, sont mises au service de plusieurs thèmes
- spécifications et preuves formelles
- résolution de contraintes géométriques
- planification d'opérations chirurgicales
Spécifications et preuves formelles
Plusieurs aspects
- géométrie algorithmique
- cartes combinatoires
- géométrie dynamique
- contraintes géométriques
- un modèle discret du continu et ses applications à la géométrie discrète : la droite d'Harthong-Reeb
Contraintes géométriques
présentation, constructions géométriques et résolutions de contraintes en CAO. + autres aspects (chimie, ...)
Combinaison de solveurs
aspects preuves