Analyse de textes de démonstration dans des cadres théoriques différents
Publications de l'Institut de recherche mathématiques de Rennes, Produire et lire des textes de démonstration, no. S4 (1998), pp. 259-284. 
@article{PSMIR_1998___S4_259_0,
     author = {Barbin, Evelyne and Duval, Raymond and Houdebine, Jean and Laborde, Colette},
     title = {Analyse de textes de d\'emonstration dans des cadres th\'eoriques diff\'erents},
     journal = {Publications de l'Institut de recherche math\'ematiques de Rennes},
     pages = {259--284},
     publisher = {D\'epartement de Math\'ematiques et Informatique, Universit\'e de Rennes},
     number = {S4},
     year = {1998},
     language = {fr},
     url = {http://www.numdam.org/item/PSMIR_1998___S4_259_0/}
}
TY  - JOUR
AU  - Barbin, Evelyne
AU  - Duval, Raymond
AU  - Houdebine, Jean
AU  - Laborde, Colette
TI  - Analyse de textes de démonstration dans des cadres théoriques différents
JO  - Publications de l'Institut de recherche mathématiques de Rennes
PY  - 1998
SP  - 259
EP  - 284
IS  - S4
PB  - Département de Mathématiques et Informatique, Université de Rennes
UR  - http://www.numdam.org/item/PSMIR_1998___S4_259_0/
LA  - fr
ID  - PSMIR_1998___S4_259_0
ER  - 
%0 Journal Article
%A Barbin, Evelyne
%A Duval, Raymond
%A Houdebine, Jean
%A Laborde, Colette
%T Analyse de textes de démonstration dans des cadres théoriques différents
%J Publications de l'Institut de recherche mathématiques de Rennes
%D 1998
%P 259-284
%N S4
%I Département de Mathématiques et Informatique, Université de Rennes
%U http://www.numdam.org/item/PSMIR_1998___S4_259_0/
%G fr
%F PSMIR_1998___S4_259_0
Barbin, Evelyne; Duval, Raymond; Houdebine, Jean; Laborde, Colette. Analyse de textes de démonstration dans des cadres théoriques différents. Publications de l'Institut de recherche mathématiques de Rennes, Produire et lire des textes de démonstration, no. S4 (1998), pp. 259-284. http://www.numdam.org/item/PSMIR_1998___S4_259_0/

Bkouche R. (1994) De la démonstration en géométrie In : Le dessin géométrique de la main à l'ordinateur, (pp. 189-232) Actes du colloque Inter-IREM Géométrie 1994, Editions : IREM de Lille.

Carral M. (1995) Géométrie Paris : Editions Ellipses.

F.G.-M. (1920) Exercices de Géométrie 6ème édition Mame et De Gigord, réimpression Paris : Editions Jacques Gabay.

Duval R. (1991) Structure du raisonnement déductif et apprentissage de la démonstration, Educational Studies in Mathematics, 22, p. 233-261.

Guillerault M. (1997) « Euclide, Fibonacci, Sketchpad, et Cabri-géomètre » ou comment déterminer le 1/nième d'un segment, exposé à la séance du 9 janvier 1997 du Cercle des Géomètres disparus , Laboratoire Leibniz-IMAG, 46 av Félix Viallet 38 000 Grenoble.

Pluvinage F. (1992-3) Didactique de la résolution de problèmes, Petit x, n° 32, p. 5-24