Différences entre les versions de « Discussion:Spécifications, contraintes et preuves »
Aller à la navigation
Aller à la recherche
Ligne 9 : | Ligne 9 : | ||
* spécifications et preuves formelles | * spécifications et preuves formelles | ||
* résolution de contraintes géométriques | * résolution de contraintes géométriques | ||
− | * planification d'opérations | + | * planification d'opérations chirurgicales |
==Spécifications et preuves formelles== | ==Spécifications et preuves formelles== |
Version du 18 février 2011 à 19:03
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
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