Discussion:Spécifications, contraintes et preuves
Révision datée du 11 février 2011 à 11:16 par Qwendling (discussion | contributions)
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