Tuteurs Intelligents et Intelligence Artificielle: probl??mes pos??s en construction de figures g??om??triques, pp.325-334, 1992. ,
DOI : 10.1007/3-540-55606-0_40
The architecture of cognition, 1983. ,
URL : https://hal.archives-ouvertes.fr/hal-00699788
The geometry tutor, Prodeedings of the international joint conference on Artificial Intelligence, pp.1-7, 1985. ,
Treatment of Refutations: Aspects of the Complexity of a Constructivist Approach to Mathematics Learning, Radical constructivism in Mathematics Education, pp.89-110, 1991. ,
DOI : 10.1007/0-306-47201-5_5
Towards a Problematique for Research on Mathematics Teaching, Journal for Research in Mathematics Education, vol.21, issue.4, pp.258-272, 1990. ,
DOI : 10.2307/749524
Contribution de la didactique et de l'épistémologie aux recherches en EIAO, pp.9-38, 1991. ,
Un micromonde de géométrie, Cabri-géomètre. Doctorat de l'université Joseph Fourier, 1990. ,
Interaction micromonde/tuteur en géométrie, le cas de cabri-géomètre et DEFI, 1991. ,
Conception, réalisation et expérimentation d'un logiciel d'aide à l'enseignement de la géométrie : Cabri-géomètre, 1992. ,
Anomalies in incremental line rastering. Theoretical foundation of computer graphics and CAD. NATO ASI series vol, 1988. ,
Processus de mathématisation, 1972. ,
Fondements et méthodes de la didactique des mathématiques, Recherches en didactique des mathématiques, pp.2-33, 1986. ,
Didactique, what good is it to a teacher ? Recherches en didactique des mathématiques. ICM7 Special issue, 1992. ,
Processus versus product: a perspective on tools for communal and informal electronic learning. in: Report from the learning lab: Education in the electronic age, 1983. ,
Diagnostic Models for Procedural Bugs in Basic Mathematical Skills*, Cognitive Science, vol.6, issue.2, pp.155-191, 1978. ,
DOI : 10.1207/s15516709cog0202_4
An investigation of computer coaching for informal learning activities, International Journal of Man-Machine Studies, vol.11, issue.1, pp.5-24, 1979. ,
DOI : 10.1016/S0020-7373(79)80003-6
AI in CAI: An Artificial-Intelligence Approach to Computer-Assisted Instruction, IEEE Transactions on Man Machine Systems, vol.11, issue.4, pp.190-202, 1970. ,
DOI : 10.1109/TMMS.1970.299942
How to use conjecturing and microcomputers to teach geometry, 1989. ,
La transposition didactique . Nouvelle édition revue et augmentée Grenoble : Editions La Pensée Sauvage, 1985. ,
Tutoring rules for guiding a case method dialogue, International Journal of Man-Machine Studies, vol.11, issue.1, pp.25-49, 1979. ,
DOI : 10.1016/S0020-7373(79)80004-8
Explications en EIAO: études à partir d'ELISE, un logiciel pour s'entrainer à une méthode de calcul de primitives, Thèse de l'Université du Mans. Le Mans, 1992. ,
Guided Discovery Tutoring, 1990. ,
Modélisation de la démonstration géométrique dans Geometry Tutor, Annales de Didactique et de Sciences Cognitives, vol.4, pp.5-40, 1991. ,
Self-optimizing computer-asisted tutoring : theory and practice Psychology and Education series, 1973. ,
The structure of scientific revolution, 1962. ,
Solving problems in computer-based geometry environment: the influence of the features of the software. Zentralblatt für didaktik der mathematik, pp.128-135, 1992. ,
The computer as part of the learning environment: the case of geometry. in : Learning from computers: Mathematics Education and Technology, 1992. ,
Proposition d'un Cabri-géomètre, incluant la notion de figures manipulables, 1986. ,
Cabri-géomètre: a micro-world of geometry for guided discovery learning. Zentralblatt für didaktik der mathematik, pp.171-177, 1990. ,
A General Model of Algebraic Problem Solving for the Design of Interactive Learning Environments, Mathematical problem solving and new information technologies. NATO ASI series, 1992. ,
DOI : 10.1007/978-3-642-58142-7_19
Use of Technology to enhance education, 1973. ,
Cabri-géomètre : du continu au discret, 1992. ,
Intelligent Tutoring Systems, Lessons learned, 1988. ,
Menthoniezh: a geometry I.T.S. fot figure drawing and proof setting, Journal of Artificial Intelligence and Education, vol.1, pp.3-41, 1990. ,
Inferring (mal) rules from pupils' protocols, Proceedings of the European Conference on Artificial Intelligence, pp.160-164, 1982. ,
Conceptual field, Problem-solving and Intelligent Computer Tools Computer-based learning environments and problem-solving. NATO ASI series F vol, pp.287-308, 1992. ,
Artificial Intelligence and Tutoring Systems, 1987. ,
URL : https://hal.archives-ouvertes.fr/hal-00703016