Vers des spécifications formelles : Fondements Mathématiques et Informatiques pour la Géométrie Dynamique

TEL :: [tel-00354048, version 1]
http://tel.archives-ouvertes.fr/tel-00354048/fr/
Ce travail est une étude algorithmique et mathématique préparant une axiomatisation ou une spécification de la géométrie dynamique. Le comportement dynamique des intersections de courbes, dans le cas où elles sont multiples, et la gestion algorithmique d'objets géométriques sous-déterminés posent problème.
...