G. Arsac, G. Germain, and M. Mante, Probleme ouvert et situation-probleme, 1988.

F. Arzarello, V. Andriano, F. Olivero, and O. Robutti, Abduction and conjecturing in mathematics, paper presented at the Symposium: Model Based Reasoning in Scientific Discovery, 1999.

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 PME XXII, pp.32-39, 1998.

F. Arzarello, C. Micheletti, F. Olivero, D. Paola, and O. Robutti, A model for analysing the transition to formal proofs in geometry, Proceedings of PME XXII, pp.24-31, 1998.

N. Balacheff, Une Étude des processus de preuve en mathématique chez les élèves de collège, Thèse d'état, 1988.

E. Barbin, La démostration mathématique: significations épistémologiques et questions didactiques, Bulletin APMEP, vol.366, pp.591-620, 1988.

B. Bussi and M. G. , Geometrical Proof and Mathematical Machines: An Exploratory Study, Proceedings of PME-XVII, 1993.

P. Boero, R. Garuti, and M. A. Mariotti, Some dynamic mental process underlying producing and proving conjectures, Proceedings of PME XX, pp.121-128, 1996.

D. Chazan, High school geometry students' justification for their views of empirical evidence and mathematical proof, Educational Studies in Mathematics, vol.2, issue.4, pp.359-387, 1993.
DOI : 10.1007/BF01273371

R. Duval, Structure du raisonnement deductif et apprentissage de la démonstration, Educational studies in mathematics, pp.233-261, 1991.

R. Duval, Argumenter, démontrer, expliquer: continuité ou rupture cognitive, pp.37-61, 1992.

E. Gallo, Control and solution of " algebraic problems Problems in algebraic learning, special issue of Rendiconti del Seminario matematico dell, pp.263-278, 1994.

E. P. Goldenberg, Ruminations about dynamic imagery (and a strong plea for research) Exploiting Mental Imagery with computers in mathematics education, 1995.

G. Hanna, The Ongoing Value of Proof, Proceedings of PME XX, pp.21-34, 1996.
DOI : 10.1007/BF03338846

G. Harel and L. Sowder, Classifying processes of proving, Proceedings of PME XX, pp.59-66, 1996.

R. Hölzl, Between drawing and figure, Exploiting Mental Imagery with Computers in Mathematical Education, pp.117-124, 1995.

R. Hölzl, How does ?dragging? affect the learning of geometry, International Journal of Computers for Mathematical Learning, vol.20, issue.4, pp.169-187, 1996.
DOI : 10.1007/BF00571077

C. Laborde and J. M. Laborde, Problem Solving in Geometry: From Microworlds to Intelligent Computer Environments, Mathematical Problem Solving and New Information Technologies. Research in Contexts of Practice, NATO ASI Series, Series F, 1992.
DOI : 10.1007/978-3-642-58142-7_13

C. Laborde, The Computer as Part of the Learning Environment: The Case of Geometry, Learning from Computers: Mathematics Education and Technology, pp.48-67, 1993.
DOI : 10.1007/978-3-642-78542-9_3

C. Laborde, Designing tasks for learning geometry in computer-based environments, Technology in mathematics teaching: a bridge between teaching and learning, pp.35-68, 1995.

M. A. Mariotti, M. Bartolini-bussi, P. Boero, F. Ferri, and R. Garuti, Approaching geometry theorems in contexts: from history and epistemology to cognition, Proceedings of PMEXXI, pp.180-195, 1997.

R. C. Moore, Making the transition to formal proof, Educational Studies in Mathematics, vol.20, issue.3, pp.249-266, 1994.
DOI : 10.1007/BF01273731

R. D. Pea and N. J. Hillsdale, Cognitive technologies for mathematics education, Cognitive Science and Mathematical Education, pp.89-112, 1987.
URL : https://hal.archives-ouvertes.fr/hal-00190547

C. S. Peirce and G. Polya, Collected Papers, II, Elements of Logic How to solve it: A new aspect of mathematical method, 1957.

M. Saada-robert, La microgénèse de la rapresentation d'un problème, Psychologie Française, 1989.

M. Simon, Beyond inductive and deductive reasoning: The search for a sense of knowing, Proceedings of ICTMT4 Plymouth, pp.197-210, 1996.
DOI : 10.1007/BF00302630

W. P. Thurston, On proof and progress in mathematics, For the learning of mathematics, pp.29-37, 1995.