TY - JOUR AU - Giorgiutti, Italo AU - Gras, Régis TI - Aide logicielle aux problèmes de démonstration géométrique dans l'enseignement secondaire JO - Publications de l'Institut de recherche mathématiques de Rennes PY - 1987-1988 SP - 1 EP - 15 IS - 5 PB - Département de Mathématiques et Informatique, Université de Rennes UR - http://www.numdam.org/item/PSMIR_1987-1988___5_A1_0/ LA - fr ID - PSMIR_1987-1988___5_A1_0 ER -