Abstract FR:

Ce rapport présente l'état de notre recherche concernant l'automatisation des constructions géométriques à la règle et au compas en géométrie élémentaire plane. Notre objectif est de concevoir et de réaliser un logiciel qui, à partir de l'énonce déclaratif d'un exercice type lycée-collège, engendre un programme procédural de construction dans le cadre d'une approche purement géométrique. Notre prototype, appelé Proge, préfigure ce que peut être un tel logiciel. Il fonctionne en deux phases. Dans la première, il résout formellement un problème de construction à la règle et au compas à l'aide d'une figure, que nous appelons formelle. Dans la deuxième, il permet d'interpréter numériquement le programme de construction obtenu en une figure, que nous appelons numérique, ainsi que de tracer le ou les dessins correspondants, que nous appelons figures graphiques