Différences entre les versions de « Discussion:Spécifications, contraintes et preuves »
Aller à la navigation
Aller à la recherche
Ligne 1 : | Ligne 1 : | ||
− | |||
− | |||
==Problématique générale== | ==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 : | 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 : | ||
Ligne 21 : | Ligne 19 : | ||
==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 | ||
==Planification d'opérations chirurgicales== | ==Planification d'opérations chirurgicales== |
Version du 11 février 2011 à 11:26
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
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