Discussion:Spécifications, contraintes et preuves

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 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