Différences entre les versions de « Discussion:Spécifications, contraintes et preuves »
Aller à la navigation
Aller à la recherche
Ligne 11 : | Ligne 11 : | ||
* planification d'opérations chirurgicals | * planification d'opérations chirurgicals | ||
− | == | + | ==Spécifications et preuves formelles== |
Plusieurs aspects | Plusieurs aspects | ||
* géométrie algorithmique | * géométrie algorithmique |
Version du 18 février 2011 à 19:02
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
- preuves formelles
- résolution de contraintes géométriques
- planification d'opérations chirurgicals
Spécifications et preuves formelles
Plusieurs aspects
- géométrie algorithmique
- cartes combinatoires
- géométrie dynamique
- contraintes géométriques
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