Publications de l'Institut de recherche mathématiques de Rennes, Produire et lire des textes de démonstration, no. S4 (1998), pp. 69-78
Citer cet article
Py, Dominique. La démonstration dans les EIAO de la géométrie. Publications de l'Institut de recherche mathématiques de Rennes, Produire et lire des textes de démonstration, no. S4 (1998), pp. 69-78. http://geodesic.mathdoc.fr/item/PSMIR_1998___S4_69_0/
@article{PSMIR_1998___S4_69_0,
author = {Py, Dominique},
title = {La d\'emonstration dans les {EIAO} de la g\'eom\'etrie},
journal = {Publications de l'Institut de recherche math\'ematiques de Rennes},
pages = {69--78},
year = {1998},
publisher = {D\'epartement de Math\'ematiques et Informatique, Universit\'e de Rennes},
number = {S4},
language = {fr},
url = {http://geodesic.mathdoc.fr/item/PSMIR_1998___S4_69_0/}
}
TY - JOUR
AU - Py, Dominique
TI - La démonstration dans les EIAO de la géométrie
JO - Publications de l'Institut de recherche mathématiques de Rennes
PY - 1998
SP - 69
EP - 78
IS - S4
PB - Département de Mathématiques et Informatique, Université de Rennes
UR - http://geodesic.mathdoc.fr/item/PSMIR_1998___S4_69_0/
LA - fr
ID - PSMIR_1998___S4_69_0
ER -
%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://geodesic.mathdoc.fr/item/PSMIR_1998___S4_69_0/
%G fr
%F PSMIR_1998___S4_69_0
