F. Arzarello, C. Micheletti, F. Olivero, and . O. Robutti, A model for analysing the transition to formal proofs in geometry, Proceedings of the Twenty-second International Conference for the Psychology of Mathematics Education, pp.24-31, 1998.

M. A. Gravina, The proof in geometry: essays in a dynamical environment Contribution to, organisers) Proof and Proving in Mathematics Education. ICME9 TSG 12, 2000.

G. Harel and L. Sowder, Students' Proof Schemes, Research on Collegiate Mathematics Education, 1998.

L. Healy and C. Hoyles, Software tools for geometrical problem solving: potentials and pitfalls, International Journal of Computers for Mathematical Learning, vol.6, issue.3, pp.235-256, 2001.
DOI : 10.1023/A:1013305627916

C. Laborde, The computer as part of the learning environment: the case of geometry Learning from computers: mathematics education and technology, NATO ASI Series, pp.48-67, 1993.

M. A. Mariotti, Justifying and proving in the Cabri environment, International Journal of Computers for Mathematical Learning, vol.6, issue.3, pp.283-317, 2001.

R. Marrades and A. Gutiérrez, Proofs produced by secondary school students learning geometry in a dynamic computer environment, Educational Studies in Mathematics, pp.44-87, 2000.

J. Piaget and R. Garcia, Psychogenèse et Histoire des Sciences Espaço e Forma, 1983.

M. A. Simon, Beyond inductive and deductive reasoning: The search for a sense of knowing, Educational Studies in Mathematics, vol.22, issue.2, pp.197-210, 1996.
DOI : 10.1007/BF00302630