%0 Journal Article
%A Nicolas, Pierrick
%T Construction et vérification de figures géométriques dans le système
%J Publications de l'Institut de recherche mathématiques de Rennes
%Z talk:8
%D 1988-1989
%P 1-6
%N 5
%I Département de Mathématiques et Informatique, Université de Rennes
%U http://www.numdam.org/item/PSMIR_1988-1989___5_A8_0/
%G fr
%F PSMIR_1988-1989___5_A8_0