%0 Journal Article %A Giorgiutti, Italo %A Gras, Régis %T Aide logicielle aux problèmes de démonstration géométrique dans l'enseignement secondaire %J Publications de l'Institut de recherche mathématiques de Rennes %D 1987-1988 %P 1-15 %N 5 %I Département de Mathématiques et Informatique, Université de Rennes %U http://www.numdam.org/item/PSMIR_1987-1988___5_A1_0/ %G fr %F PSMIR_1987-1988___5_A1_0