M. E. Büdenbender, F. A. Goguadze-g, and U. C. Libbrecht-p, 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

N. Balacheff and R. Sutherland, 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.

. Erickson-t, Learning Math with Graphing Calculator, 2002.

J. S. Delozanne-e and J. P. Grugeon-b, 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.

N. J. Aubertin-c, . A. Nguyen-xuan, and W. P. Sa-m, APLUSIX: A learning environment for student acquisition of strategic knowledge in algebra, Proceedings of PRICAI'90, 1990.

N. J. Bouhineau-d, Syntax and semantics in algebra, Proceedings of the 12th ICMI Study Conference, 2001.

N. J. Bouhineau-d and C. H. , 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.

P. R. Tõnisson-e, Is the Domain Expert Module for Expression Manipulation Exercises Ready?, Proceedings of the Tenth International PEG Conference, pp.51-56, 2001.

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

T. L. De and . Guin-d, Les calculatrices symboliques, transformer un outil en un instrument du travail informatique : un problème didactique, 2002.