%0 Journal Article %A Py, Dominique %T L'aide à la démonstration géométrique dans le système Mentoniezh %J Publications de l'Institut de recherche mathématiques de Rennes %Z talk:6 %D 1989-1990 %P 1-38 %N 5 %I Département de Mathématiques et Informatique, Université de Rennes %U http://www.numdam.org/item/PSMIR_1989-1990___5_A6_0/ %G fr %F PSMIR_1989-1990___5_A6_0