F. Arzarello, Inside and Outside: Spaces, Times and Language in Proof Production, Proceedings of PME24, pp.23-38, 2000.

F. Arzarello, G. Gallino, C. Micheletti, F. Olivero, D. Paola et al., Dragging in Cabri and modalities of transition from conjectures to proofs in geometry, Proceedings of PME22, pp.32-39, 1998.

F. Arzarello, F. Olivero, D. Paola, and O. Robutti, A cognitive analysis of dragging practises in Cabri environments, Zentralblatt f??r Didaktik der Mathematik, vol.34, issue.n 3, 2002.
DOI : 10.1007/BF02655708

P. Boero, C. Dapueto, P. Ferrari, E. Ferrero, R. Garuti et al., Recife, Aspects of the Mathematics-Culture Relationship in Mathematics Teaching-Learning in Compulsory School, Proceedings of PME19, pp.151-166, 1995.

C. Crook, Computers and the collaborative experience of learning Common Knowledge, 1987.

C. Hoyles and L. Healy, Linking informal argumentation with formal proof through computer-integrated teaching experiments, Proceedings of PME23, pp.105-112, 1999.

K. Jones, Providing a foundation for deductive reasoning: students' interpretations when using dynamic geometry software and their evolving mathematical explanations, Educational Studies in Mathematics, vol.44, issue.1/2, pp.55-85, 2000.
DOI : 10.1023/A:1012789201736

C. Kieran and Y. Dreyfus, Collaborative versus individual problem solving: entering another's universe of thought, Proceedings of PME22, pp.112-119, 1998.

C. Laborde, Relationships between the spatial and theoretical in geometry: the role of computer dynamic representations in problem solving, Information and Communications Technologies in School Mathematics, pp.183-195, 1998.
DOI : 10.1007/978-0-387-35287-9_22

C. Laborde, Dynamic Geometry Environments as a Source of Rich Learning Contexts for the Complex Activity of Proving, Educational Studies in Mathematics, vol.44, issue.1/2, pp.151-161, 2000.
DOI : 10.1023/A:1012793121648

M. A. Mariotti, Introduction to Proof: The Mediation of a Dynamic Software Environment, Educational Studies in Mathematics, vol.44, issue.1/2, pp.25-54, 2000.
DOI : 10.1023/A:1012733122556

R. Noss and C. Hoyles, Windows on mathematical meanings : learning cultures and computers, 1996.
DOI : 10.1007/978-94-009-1696-8

F. Olivero, The proving process within a dynamic geometry environment, 2002.
URL : https://hal.archives-ouvertes.fr/hal-00190412

F. Olivero, D. Paola, and O. Robutti, Approaching theoretical thinking within a dynamic geometry environment, pp.127-148, 2001.

S. D. Teasley and J. Roschelle, Constructing a Joint Problem Space: the Computer as a Tool for Sharing Knowledge, Computers as Cognitive Tools, pp.229-258, 1993.

A. Trognon, How Does the Process of Interaction Work When Two Interlocutors Try to Resolve a Logical Problem?, Cognition and Instruction, vol.11, issue.3-4, pp.325-345, 1993.
DOI : 10.1080/07370008.1993.9649028

L. S. Vygotsky, Mind in society. The development of higher psychological processes, 1978.