%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://archive.numdam.org/item/PSMIR_1989-1990___5_A6_0/
%G fr
%F PSMIR_1989-1990___5_A6_0