Voir la notice de l'acte provenant de la source Numdam
@article{PSMIR_1988-1989___5_A8_0,
author = {Nicolas, Pierrick},
title = {Construction et v\'erification de figures g\'eom\'etriques dans le syst\`eme},
journal = {Publications de l'Institut de recherche math\'ematiques de Rennes},
note = {talk:8},
pages = {1--6},
publisher = {D\'epartement de Math\'ematiques et Informatique, Universit\'e de Rennes},
number = {5},
year = {1988-1989},
language = {fr},
url = {http://geodesic.mathdoc.fr/item/PSMIR_1988-1989___5_A8_0/}
}
TY - JOUR AU - Nicolas, Pierrick TI - Construction et vérification de figures géométriques dans le système JO - Publications de l'Institut de recherche mathématiques de Rennes N1 - talk:8 PY - 1988-1989 SP - 1 EP - 6 IS - 5 PB - Département de Mathématiques et Informatique, Université de Rennes UR - http://geodesic.mathdoc.fr/item/PSMIR_1988-1989___5_A8_0/ LA - fr ID - PSMIR_1988-1989___5_A8_0 ER -
%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://geodesic.mathdoc.fr/item/PSMIR_1988-1989___5_A8_0/ %G fr %F PSMIR_1988-1989___5_A8_0
Nicolas, Pierrick. Construction et vérification de figures géométriques dans le système. Publications de l'Institut de recherche mathématiques de Rennes, Didactique des mathématiques, no. 5 (1988-1989), Exposé no. 8, 6 p. http://geodesic.mathdoc.fr/item/PSMIR_1988-1989___5_A8_0/