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. ,

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

Students' Proof Schemes, Research on Collegiate Mathematics Education, 1998. ,

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

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. ,

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

Proofs produced by secondary school students learning geometry in a dynamic computer environment, Educational Studies in Mathematics, pp.44-87, 2000. ,

Psychogenèse et Histoire des Sciences Espaço e Forma, 1983. ,

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