%0 Journal Article
%A Py, Dominique
%T La démonstration dans les EIAO de la géométrie
%J Publications de l'Institut de recherche mathématiques de Rennes
%D 1998
%P 69-78
%N S4
%I Département de Mathématiques et Informatique, Université de Rennes
%U http://www.numdam.org/item/PSMIR_1998___S4_69_0/
%G fr
%F PSMIR_1998___S4_69_0