Probleme ouvert et situation-probleme, 1988. ,
Abduction and conjecturing in mathematics, paper presented at the Symposium: Model Based Reasoning in Scientific Discovery, 1999. ,
Dragging in Cabri and modalities of transition from conjectures to proofs in geometry, Proceedings of PME XXII, pp.32-39, 1998. ,
A model for analysing the transition to formal proofs in geometry, Proceedings of PME XXII, pp.24-31, 1998. ,
Une Étude des processus de preuve en mathématique chez les élèves de collège, Thèse d'état, 1988. ,
La démostration mathématique: significations épistémologiques et questions didactiques, Bulletin APMEP, vol.366, pp.591-620, 1988. ,
Geometrical Proof and Mathematical Machines: An Exploratory Study, Proceedings of PME-XVII, 1993. ,
Some dynamic mental process underlying producing and proving conjectures, Proceedings of PME XX, pp.121-128, 1996. ,
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
Structure du raisonnement deductif et apprentissage de la démonstration, Educational studies in mathematics, pp.233-261, 1991. ,
Argumenter, démontrer, expliquer: continuité ou rupture cognitive, pp.37-61, 1992. ,
Control and solution of " algebraic problems Problems in algebraic learning, special issue of Rendiconti del Seminario matematico dell, pp.263-278, 1994. ,
Ruminations about dynamic imagery (and a strong plea for research) Exploiting Mental Imagery with computers in mathematics education, 1995. ,
The Ongoing Value of Proof, Proceedings of PME XX, pp.21-34, 1996. ,
DOI : 10.1007/BF03338846
Classifying processes of proving, Proceedings of PME XX, pp.59-66, 1996. ,
Between drawing and figure, Exploiting Mental Imagery with Computers in Mathematical Education, pp.117-124, 1995. ,
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
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
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
Designing tasks for learning geometry in computer-based environments, Technology in mathematics teaching: a bridge between teaching and learning, pp.35-68, 1995. ,
Approaching geometry theorems in contexts: from history and epistemology to cognition, Proceedings of PMEXXI, pp.180-195, 1997. ,
Making the transition to formal proof, Educational Studies in Mathematics, vol.20, issue.3, pp.249-266, 1994. ,
DOI : 10.1007/BF01273731
Cognitive technologies for mathematics education, Cognitive Science and Mathematical Education, pp.89-112, 1987. ,
URL : https://hal.archives-ouvertes.fr/hal-00190547
Collected Papers, II, Elements of Logic How to solve it: A new aspect of mathematical method, 1957. ,
La microgénèse de la rapresentation d'un problème, Psychologie Française, 1989. ,
Beyond inductive and deductive reasoning: The search for a sense of knowing, Proceedings of ICTMT4 Plymouth, pp.197-210, 1996. ,
DOI : 10.1007/BF00302630
On proof and progress in mathematics, For the learning of mathematics, pp.29-37, 1995. ,