Using Computer Algebra Systems as Cognitive Tools, Proceedings of ITS'2002, Intelligent Tutoring Systems, pp.802-810, 2002. ,
DOI : 10.1007/3-540-47987-2_80
Epistemological domain of validity of microworlds , the case of Logo and Cabri-géomètre, Proceedings of the IFIP TC3/WG3.3, Lessons from learning, pp.137-150, 1994. ,
Learning Math with Graphing Calculator, 2002. ,
Conception, réalisation et évaluation d'interfaces en EIAO : l'exemple de PÉPITE, Actes des 5èmes journées EIAO de Cachan, pp.37-48, 1997. ,
APLUSIX: A learning environment for student acquisition of strategic knowledge in algebra, Proceedings of PRICAI'90, 1990. ,
Syntax and semantics in algebra, Proceedings of the 12th ICMI Study Conference, 2001. ,
Mixing Microworld and CAS Features for Building Computer Systems that Help Students to Learn Algebra, International Journal of Computers for Mathematical Learning, vol.9, pp.169-211, 2004. ,
Is the Domain Expert Module for Expression Manipulation Exercises Ready?, Proceedings of the Tenth International PEG Conference, pp.51-56, 2001. ,
Some undecidable problems involving elementary functions of a real variable, The Journal of Symbolic Logic, vol.33, issue.04, pp.514-520, 1951. ,
DOI : 10.2307/1970289
Les calculatrices symboliques, transformer un outil en un instrument du travail informatique : un problème didactique, 2002. ,