J. Moses, The MACSYMA system for formula manipulation, Proceedings of the APL Quote Quad conference part 1, 1979.

. Mathematica, For Use with MATLAB) Copyright 1993-1998 by The MathWorks, com Matlab: Symbolic Math Toolbox

. Mupad, Available at htttp://www.suremath.com T-91 & T-82 and Symbolic Math Guide for T-91 & T-82: Child (2000) presents the environment and gives some hints of how it could be used for educational purposes. The environment presents transparent commands to do symbolic manipulation step by step, in the paper it is discussed the case of exponential commands, TI-89/TI-92 Plus Symbolic Math Guideti.com Texas Instruments: Symbolic Math Guide A Concept APP for the TI-89 and TI-92 Plus. Available at http://education.ti.com. Kutzler, 1995.

. Aczel, Considers the contribution of computer software to understanding processes of solving equations, 1998.

. Tynan, 1998: discussion of performance of pupils using CAS in symbol manipulation

J. Aczel and D. Tilley, Algebra: rebalancing the equation. Micromath, pp.11-13, 1998.

P. Drijvers and O. Van-herwaarden, Instrumentatie van ICT-gereedschap: algebranet computer-alggebra, Nieuwe Wiskrant, vol.20, issue.1, pp.38-43, 2000.

D. Frenc, Factorizing with TI-92, Mathematics in school, vol.28, issue.1, pp.30-34, 1999.

J. Gage, Using the graphic calculator to teach algebra in lower secondary, Proceedings of the 4 th International Conference on Technology in Mathematics Teaching, 1999.

J. P. Guichard, . Au-lyceé, and . Au-collège, Actes des journées de formation des formateurs. Publication de l'institut de recherche sur l'enseignement des Mahématiques, 1999.

A. Grahm and M. Thomas, A graphic calculator approach to algebra, Mathematics Teaching, issue.167, pp.34-37, 1999.

R. Henrich, Erziehen wir durch Verwendung grafikfarhiger Tescherechrer zu' Knopfchendruckern, Mathematik in der Schule, pp.107-110, 1999.

A. Horwitz, Using MATHEMATICA to Prove and Animate a Property of Cubic Polynomials, Electronic Proceedings of the Eighth Annual Conference on Technology in Collegiate Mathematics, 8-C35. Huston, 1995.

F. Lichtenbergar, Self-explanatory symbolic computation for math education, ACM SIGSAM Bulletin, vol.18, issue.4-1, 1984.
DOI : 10.1145/1089355.1089361

G. Mainini, Calcolatrice numerica e programmi di elaborazione simbolica, Bollettino dei docenti di Matematica, pp.75-78, 1998.

J. Moses, Algebraic simplification a guide for the perplexed Proceedings of the second symposium on Symbolic and algebraic manipulation, pp.282-304, 1971.

M. Thomas and D. Hall, A computer environment to encourage versatile understanding of algebraic equations, Proceedings of the 21 annual conference of MERGA Inc., pg 605-612, 1998.

D. Tynan and G. Asp, Exploring the impact of CAS in early algebra Proceedings of the 21 annual conference of MERGA Inc., pg 621-628, 1998.

V. Wright and J. , Learning mathematics with a theorem prover, Proceedings of the 4 th International Conference on Technology in Mathematics Teaching (ICMT 4, 1998.

V. Auricchio, G. Dettori, and E. Lemut, Uso di software per la manipolazione algebrica nella scuola secondaria superiore, Rapporto tecnico n. 10/96. Instituto per la Matematica Applicata ? CNR, 1996.

G. C. Barozzi and S. Cappuccio, Le calcolatrici grafiche nell'insegnamento della matematica, 1997.

A. Boileau and M. Garçon, CARAPACE [Computer Program], 1987.

D. Bouhineau, J. F. Nicaud, X. Pavard, and E. Sander, Un micromonde pour aider les élèves à apprendre l'algèbre, ATIEF ? Sciences et Techniques Educatives Rédactrice en chef Monique GRANDBASTIEN, Institut National Agronomique, 2001.

J. S. Brown, Process versus Product: A Perspective on Tools for Communal and Informal Electronic Learning, Education in the Electronic Age, 1983.
DOI : 10.2190/L00T-22H0-B7NJ-1324

D. Child, The symbolic math guide and the laws of exponents. Micromath, 2001.

M. Cerulli and M. A. Mariotti, A symbolic manipulator to introduce pupils to algebra theory, Proceedings of Workshop W6 " Learning Algebra with the Computer, pp.41-48, 2000.
URL : https://hal.archives-ouvertes.fr/hal-00190516

M. Cerulli and M. A. Mariotti, Algebrista: a microworld for symbolic manipulation Proceedings of the 12 th ICMI Study Conference " The Future of the Teaching and Learning of Algebra, 2001.

M. Cerulli and M. A. Mariotti, (in press): L'Algebrista: a microworld for teaching and learning algebra (title to be translated in french) ATIEF ? Sciences et Techniques Educatives Numéro spécial : Apprentissage de l' algèbre avec l' ordinateur, Rédactrice en chef Monique GRANDBASTIEN, Institut National Agronomique

J. Fey, Computing and Mathematics: The Impact on Secondary School Curricula, 1984.

R. Gafni, Using multiple representations of function to improve semantics understanding of algebraic expressions and equations. PhD dissertation (in Hebrew), 1996.

K. M. Heid, Resequencing Skills and Concepts in Applied Calculus Using the Computer as a Tool, Journal for Research in Mathematics Education, vol.19, issue.1, pp.3-25, 1988.
DOI : 10.2307/749108

M. K. Heid, Algebra in a technological world Curriculum and Evaluation Standards for School Mathematics, National Council of Teachers of Mathematics (NCTM), 1995.

J. Hillel, Computer Algebra Systems as Cognitive Technologies: Implication for the Practice of Mathematics Education, Learning from Computers: Mathematics Education and Technology, pp.18-47, 1993.
DOI : 10.1007/978-3-642-78542-9_2

C. Kieran, A Functional Approach To The Introduction Of Algebra ? Some Pros And Cons, Proceedings of the Eighteenth International Conference for the Psychology of Mathematics Education, 1994.

C. Kieran, Learning the structure of algebraic expressions and equations, Proceedings of the twelfth International Conference for the Psychology of Mathematics Education " PME XII, 1988.

B. Kutzler, The Algebraic Calculator as a Pedagogical Tool for Teaching Mathematics Hand-Held Technology in Mathematics and Science Education: A Collection of Papers, Teachers Teaching with Technology Short Course Program @ The Ohio State University, pp.98-109, 1999.

J. B. Lagrange, Document pour l'Habilitation à Diriger les Recherches. Université Paris VII 28 janvier, 2000.

J. B. Lagrange, Complex calculators in the classroom: theoretical and practical reflections on teaching precalculus, International Journal of Computers for Mathematical Learning, vol.4, pp.59-81, 1999.

R. Lesh and J. Herre, Dienes revisited: Multiple embodiments in computer environments, Proceedings of the Eleventh International Conference, 1987.

R. E. Little, Using A Calculator to do Mathematics: Do You Want a Map or just Directions, Electronic Proceedings of the Seventh Annual Conference on Technology in Collegiate Mathematics, 1994.

N. Malara, Rassegna delle ricerche sui problemi di insegnamento-apprendimento dell'algebra in ambito PME. Unpublished manuscript presented at Italian annual national conference on research in mathematics education " Seminario nazionale di ricerca in didattica della matematica, 1997.

M. A. Mariotti and M. Cerulli, Semiotic mediation for algebra teaching and learning, Proceedings of the 25 th conference of the International Group for the Psychology of Mathematics Education " PME 25@NL " . Edited by Marja van den Heuvel-Panhuizen, 2001.
URL : https://hal.archives-ouvertes.fr/hal-00190512

R. Mayes, Current state of research into CAS in mathematics education, The State of Computer Algebra in Mathematics Education, pp.171-189, 1997.

F. Postel, MuPAD as a Tool, Tutee and Tutor. Primary talk at the Austrian Center for Didactics of Computer Algebra 1999 (ACDCA '99) Available at http, 1999.

J. L. Schwarts and M. Yerushalmy, Visualizing Algebra: The Function Analyzer (computer software), Educational Development Center and Sunburst Communications, 1989.

J. L. Schwarts and M. Yerushalmy, Visualizing Algebra: The Function Supposer (computer software), Educational Development Center and Sunburst Communications, 1990.

J. L. Schwartz and M. Yerushalmy, Getting students to function in and with algebra, Learning the concept of function, pp.281-289, 1992.

J. Rosemberg, Math Connections Algebra II [Computer program], 1992.

P. W. Thompson and A. G. Thompson, Computer presentations of structure in algebra, Proceedings of the Eleventh International Conference, pp.248-254, 1987.

M. Yerushalmy, The use of graphs as visual interactive feedback while carrying out algebraic transformations Actes de la 13 e conférence internationale, Psychology of Mathematics Education P.M.E, vol.13, issue.3, pp.252-260, 1989.

M. Yerushalmy and R. Gafni, The effect of graphic representation: An experiment involving algebraic transformations, Proceedings of the fifteenth PME conference, 1991.

M. Yerushalmy, Making exploration visible: on software design and school algebra curriculum, International Journal of Computers for Mathematical Learning, vol.4, issue.2/3, pp.169-189, 1999.
DOI : 10.1023/A:1009863805300

A. Arcavi, Teaching and learning algebra: Past, present, and future, The Journal of Mathematical Behavior, vol.14, issue.1, pp.145-162, 1995.
DOI : 10.1016/0732-3123(95)90033-0

F. Arzarello and O. Robutti, From body motion to algebra through graphing, The future of the teaching and learning of algebra (Proceedings of the 12th ICMI Study Conference), pp.33-40, 2001.

N. Balacheff, The researcher epistemology: a deadlock from educational research on proofUnderstanding proving and proving to understand, International Conference on Mathematics Taipei: NSC and NTNU, pp.23-44, 2002.

N. Balacheff and J. J. Kaput, Computer-Based Learning Environments in Mathematics, International Handbook of mathematics education, pp.469-501, 1996.
DOI : 10.1007/978-94-009-1465-0_15

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.

B. Bussi and M. G. , Mathematical discussion and perspective drawing in primary school, Educational Studies in Mathematics, vol.5, issue.2, pp.11-41, 1996.
DOI : 10.1007/BF00143925

B. Bussi and M. G. , Verbal Interaction in Mathematics Classroom: a Vygotskian Analysis, Language and Communication in the Mathematics Classroom, pp.65-84, 1998.

B. Bussi, M. G. Mariotti, and M. A. , Instruments for Perspective Drawing: Historic, Epistemological and Didactic Issues, Proc. of the 4th Int. Design Thinking Res. Symp. on Design Representation, pp.175-185, 1999.

N. Bednarz, A Problem-Solving Approach to Algebra: Accounting for the reasoning and Notations Developed by Students Proceedings of the 12 th ICMI Study ConferenceThe Future of the Teaching and Learning of Algebra, pp.69-78, 2001.

R. M. Bottino, Advanced Learning Environments: Changed Vies and Future PerspectivesComputers and Education Towards an Interconnected Society, pp.11-26, 2001.

R. M. Bottino and G. Chiappini, Advanced Technology and Learning Environments: Their relationships within Arithmetic Problem-Solving Domain, Handbook of Interantional Research in Mathematics Education, pp.757-786, 2002.

D. Bouhineau, J. F. Nicaud, X. Pavard, and E. Sander, Un micromonde pour aider les élèves à apprendre l'algèbre, ATIEF ? Sciences et Techniques Educatives, 2001.

L. Brown and A. Coles, Natural Algebraic ActivityThe Future of the Teaching and Learning of Algebra, Proceedings of the 12 th ICMI Study Conference, pp.120-127, 2001.

T. P. Carpenter and M. L. Franke, Developing Algebraic Reasoning in the Elementari School: Generalization and Proof". Proceedings of the 12 th ICMI Study Conference "The Future of the Teaching and Learning of Algebra, pp.155-162, 2001.

M. Cerulli, Uso di manipolatori simbolici nell'introduzione all'algebra: realizzazione e sperimentazione di un prototipo. Unpublished manuscript, Tesi di Laurea in Matematica, 1999.
URL : https://hal.archives-ouvertes.fr/hal-00190499

M. Cerulli, Introducing pupils to theoretical thinking: the case of algebra, Proceedings of CERME2, European Research in Mathematics Education II, 2002.
URL : https://hal.archives-ouvertes.fr/hal-00190514

M. Cerulli, Instruments of semiotic mediation in Algebra, an example, 2004.
URL : https://hal.archives-ouvertes.fr/hal-00190518

M. Cerulli and M. A. Mariotti, A symbolic manipulator to introduce pupils to algebra theory, Proceedings of Workshop W6 " Learning Algebra with the Computer a Transdisciplinary Workshop, 2000.
URL : https://hal.archives-ouvertes.fr/hal-00190516

M. Cerulli and M. A. Mariotti, Arithmetic and algebra, continuity or cognitive break? The case of Francesca, Proceedings of the 25 th International Conference, pp.225-232, 2001.

M. Cerulli and M. A. Mariotti, Algebrista: un micromonde pour l'enseignement et l'apprentissage de l'algèbre, Science et techniques éeducatives Logiciels pour l'apprentissage de l'algèbre, pp.149-170, 2002.

M. Cerulli and M. A. Mariotti, Building theories: working in a microworld and writing the mathematical notebookProceedings of the 2003 Joint Meeting of PME and PMENA, pp.181-188, 2003.

E. De-corte, Changing views of of computer supported learning environments for the acquisition of knowledge and thinking skills, International perspectives on the design of technology-supported learning environments, pp.129-145, 1996.

G. Dettori, R. Garuti, and E. Lemut, From Arithmetic to Algebraic Thinking by Using a Spreadsheet, Perspectives on school algebra, pp.191-207, 2000.
DOI : 10.1007/0-306-47223-6_11

G. Devoto, G. C. Oli, and A. A. , Social Niches for Future Software Towards a Scientific Practice of Science Education Knowledge in Pieces The Many Faces of a Computational Medium: Teaching the Mathematics of Motion, Constructivism in the Computer Age Computers for Exploratory Learning, pp.49-70, 1971.

S. Dugdale, Functions and graphs -perspectives on students' thinking, Integrating research on the graphical representation of functions, pp.101-130, 1993.

R. Duval, Sémiosis et pensée humaine, 1995.

U. Eco, Trattato di Semiotica GeneraleStudi Bompiani, Il campo semiotico a cura di Umberto Eco, Gruppo Editoriale Fabbri, 1975.

M. Eisember, Creating Software Applications for Children: Some thoughtes About Design, Computers and Exploratory Learning, pp.175-196, 1995.

D. Guin and L. Trouche, The complex process of converting tools into mathematical instruments: the case of calculators, International Journal of Computers for Mathematical Learning, issue.3, pp.195-227, 1999.

E. Filloy, T. Rojano, and G. Rubio, Propositions concerning the resolution of arithmetical-algebra problems, Perspectives on school algebra, pp.155-176, 2000.

V. J. Henry, An Examination of Educational Practices and Assumptions Regarding Algebra Instruction in the United States The future of the teaching and learning of algebra, Proceedings of the 12th ICMI Study Conference), pp.296-304, 2001.

M. A. Huntley, C. L. Rasmussen, R. S. Villarubi, J. Sangtong, and J. T. Fey, Effects of Standards-Based Mathematics Education: A Study of the Core-plus Mathematics Project Algebra and Functions Strand, Journal for Research in Mathematics Education, vol.31, issue.3, pp.328-361, 2000.
DOI : 10.2307/749810

I. Illich, Tools for Conviviality, 1973.

J. J. Kaput and M. Blanton, Algebrafying the Elementary Mathematics Experience The future of the teaching and learning of algebra, Proceedings of the 12th ICMI Study Conference), pp.344-351, 2001.

C. Kieran, The learning and teaching of School Algebra, Handbook of Research on Mathematics Teaching and Learning, 1992.

C. Kieran, The transition from arithmetic to algebraMatématica educativa Aspectos de la investigación actual, Centro de Investigación y de Estudios Avanzados del IPN, Fondo de Cultura Económica, 2003.

C. Kieran and M. Yerushalmy, Research on the Role of Technological Environments in Algebra Learning and Teaching, To appear in the book of ICME study on algebra, 2001.
DOI : 10.1007/1-4020-8131-6_6

K. Kuutti, Activity Theory as a Potential Framework for Human-Computer Interaction Research, Context and Consciousness, pp.17-44, 1996.

L. Lee, Early Algebra ? but Which Algebra The future of the teaching and learning of algebra, Proceedings of the 12th ICMI Study Conference), pp.392-399, 2001.

L. Lee and D. Wheeler, The arithmetic connection, Educational Studies in Mathematics, vol.11, issue.2, pp.41-54, 1989.
DOI : 10.1007/BF00356040

N. Malara, A: 1997, Rassegna delle ricerche sui problemi di insegnamento-apprendimento dell'algebra in ambito PME. Unpublished manuscript presented at the " Seminario Nazionale di Ricerca in Didattica della Matematica, pp.11-13, 1997.

M. A. Mariotti, Influencies of technologies advances in students' math learning, Handbook of Interantional Research in Mathematics Education, pp.757-786, 2002.

M. A. Mariotti, Introduction to proof: the mediation of a dynamic software environment, Educational Studies in Mathematics, vol.44, issue.1/2, pp.25-53, 2001.
DOI : 10.1023/A:1012733122556

M. A. Mariotti, Justifying and proving: figural and conceptual aspects, Proceedings of the European Research Conference on Mathematical Education, pp.21-27, 1997.

M. A. Mariotti, Costruzioni in geometria, 19B, issue.3, pp.261-88, 1996.

M. A. Mariotti and M. G. Bartolini-bussi, From drawing to construction: teachers mediation within the Cabri environment, Proceedings of the 22 nd PME Conference, pp.180-95, 1998.

M. A. Mariotti and M. Cerulli, Espressioni numeriche ed espressioni letterali: continuità o rottura?La matematica e la sua didattica, pp.1-2003, 2003.

M. A. Mariotti, Approaching geometry theorems in contexts: from history and epistemology to cognition, Proceedings of the 21st PME Conference, pp.180-95, 1997.

. Merriam-webster, Merriam-Webster Dictionay. Merriam-Webster Incorporated, 2003.

J. R. Mokros and R. F. Tinker, The impact of microcomputer-based labs on children's ability to interpret graphs, Journal of Research in Science Teaching, vol.14, issue.4, pp.369-383, 1987.
DOI : 10.1002/tea.3660240408

B. A. Nardi, Studying context: a comparison of Activity Theory, Situade Action Models, and Distributed Cognition, Context and Consciousness, pp.69-102, 1996.

R. Noss and C. Hoyles, Windows on mathematical meanings learning cultures and computers, Mathematics Education Library, vol.17, 1996.

S. Papert, An exploration in the space of mathematics educations, International Journal of Computers for Mathematical Learning, vol.1, issue.1, pp.95-123, 1996.
DOI : 10.1007/BF00191473

D. Pratt, The construction of meanings in and for a stochastic domain of abstraction. Unpublished doctoral dissertation, 1998.

G. Prodi, Matematica come scoperta, 1, (Prima Edizione) Casa editrice G, 1975.

P. Rabardel, Les Hommes & Les Technologies (Aproche cognitive des instruments contemporains), 1995.

L. Radford and F. Furinghetti, Historical Conceptual Developments and the Teaching of Mathematics: from Phylogenesis and Ontogenesis Theory to Classroom Practice, Handbook of Interantional Research in Mathematics Education, pp.757-786, 2002.

L. Radford, Gestures, Speech, and the Sprouting of Signs: A Semiotic-Cultural Approach to Students' Types of Generalization, Mathematical Thinking and Learning, pp.37-70, 2003.
DOI : 10.1207/S15327833MTL0501_02

L. Radford, S. Demers, J. Guzmàn, and M. Cerulli, Calculators, graphs, gestures and the production of meaning, pp.55-62, 2003.
URL : https://hal.archives-ouvertes.fr/hal-00190515

J. Dougherty and . Zilliox, CRDG, College of Education

G. Salomon, Computers as a trigger for change, International perspectives on the design of technologysupported learning environments, pp.363-377, 1996.

J. L. Schwartz and M. Yerushalmy, On the need for a bridging language for mathematical modeling, For the Learning of Mathematics, vol.15, issue.2, pp.29-35, 1995.

B. Sendov and E. Sendova, East or West ? GEOMLAND is Best, or Does the Answer Depend on the Angle?, Computers and Exploratory Learning, pp.59-68, 1993.

A. Sfard, On the dual nature of mathematical conceptions: Reflections on processes and objects as different sides of the same coin, Educational Studies in Mathematics, vol.20, issue.5, pp.22-23, 1991.
DOI : 10.1007/BF00302715

A. Sfard and L. Linchevski, The gains and the pitfalls of reification ? The case of algebra, Educational Studies in Mathematics, vol.12, issue.2, pp.191-228, 1994.
DOI : 10.1007/BF01273663

M. Sinko and E. Lehetinen, The challenges of ICT in finnish education, 1999.

R. Sutherland and N. Blacheff, Didactical complexity of computational environments for the learning of mathematics, International Journal of Computers for Mathematical Learning, vol.4, issue.1, pp.1-26, 1999.
DOI : 10.1023/A:1009882419704

URL : https://hal.archives-ouvertes.fr/hal-00190717

M. Thomas and D. Tall, The Long-Term Cognitive Development of Symbolic Algebra The future of the teaching and learning of algebra, Proceedings of the 12th ICMI Study Conference), pp.590-597, 2001.

P. W. Thompson and A. G. Thompson, Computer presentations of structure in algebra, Proceedings of the Eleventh International Conference, pp.248-254, 1987.

S. Turkle and S. Papert, Epistemological Pluralism and the Revaluation of the Concrete, Constructionism, pp.161-192, 1991.

J. Valsiner and R. Van-der-veer, The Social Mind Construction of the Idea, 2000.

L. S. Vygotskij, Mind in Society. The Development of Higher Psychological Processes, 1978.

U. Wilensky, Connected Mathematics ? Building Concrete Relationships with Mathematical Knowledge, 1995.

M. Yerushalmy and D. Chazan, Flux in school algebra: Curricular change, graphing technology, and research on student learning and teacher knowledge, Handbook of international research in mathematics education, pp.725-755, 2002.

M. Yerushalmy and B. Shternberg, Charting a visual course to the concept of function The roles of representation in school mathematics, Yearbook of the National Council of Teachers of Mathematics, pp.251-268, 2001.

R. M. Zbiek and M. K. Heid, Dynamic aspects of function representations The future of the teaching and learning of algebra, Proceedings of the 12th ICMI Study Conference, pp.682-689, 2001.