Geodesic
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

Voir la notice de l'acte provenant de la source Numdam

@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},
     publisher = {D\'epartement de Math\'ematiques et Informatique, Universit\'e de Rennes},
     number = {S4},
     year = {1998},
     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
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/