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

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

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

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

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

Algebra: rebalancing the equation. Micromath, pp.11-13, 1998. ,

Instrumentatie van ICT-gereedschap: algebranet computer-alggebra, Nieuwe Wiskrant, vol.20, issue.1, pp.38-43, 2000. ,

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

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

Actes des journées de formation des formateurs. Publication de l'institut de recherche sur l'enseignement des Mahématiques, 1999. ,

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

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

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

Self-explanatory symbolic computation for math education, ACM SIGSAM Bulletin, vol.18, issue.4-1, 1984. ,

DOI : 10.1145/1089355.1089361

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

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

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

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

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

Uso di software per la manipolazione algebrica nella scuola secondaria superiore, Rapporto tecnico n. 10/96. Instituto per la Matematica Applicata ? CNR, 1996. ,

Le calcolatrici grafiche nell'insegnamento della matematica, 1997. ,

CARAPACE [Computer Program], 1987. ,

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

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

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

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

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

(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 ,

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

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

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

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

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

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

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

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

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

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

Dienes revisited: Multiple embodiments in computer environments, Proceedings of the Eleventh International Conference, 1987. ,

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

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

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

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

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

Visualizing Algebra: The Function Analyzer (computer software), Educational Development Center and Sunburst Communications, 1989. ,

Visualizing Algebra: The Function Supposer (computer software), Educational Development Center and Sunburst Communications, 1990. ,

Getting students to function in and with algebra, Learning the concept of function, pp.281-289, 1992. ,

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

Computer presentations of structure in algebra, Proceedings of the Eleventh International Conference, pp.248-254, 1987. ,

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

The effect of graphic representation: An experiment involving algebraic transformations, Proceedings of the fifteenth PME conference, 1991. ,

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

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

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

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

Computer-Based Learning Environments in Mathematics, International Handbook of mathematics education, pp.469-501, 1996. ,

DOI : 10.1007/978-94-009-1465-0_15

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

Mathematical discussion and perspective drawing in primary school, Educational Studies in Mathematics, vol.5, issue.2, pp.11-41, 1996. ,

DOI : 10.1007/BF00143925

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

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

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

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

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

Un micromonde pour aider les élèves à apprendre l'algèbre, ATIEF ? Sciences et Techniques Educatives, 2001. ,

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

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

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

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

Instruments of semiotic mediation in Algebra, an example, 2004. ,

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

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

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

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

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

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

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

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

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

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

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

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

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

Propositions concerning the resolution of arithmetical-algebra problems, Perspectives on school algebra, pp.155-176, 2000. ,

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

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

Tools for Conviviality, 1973. ,

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

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

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

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

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

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

The arithmetic connection, Educational Studies in Mathematics, vol.11, issue.2, pp.41-54, 1989. ,

DOI : 10.1007/BF00356040

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

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

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

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

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

From drawing to construction: teachers mediation within the Cabri environment, Proceedings of the 22 nd PME Conference, pp.180-95, 1998. ,

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

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

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

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

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

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

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

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

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

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

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

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

Calculators, graphs, gestures and the production of meaning, pp.55-62, 2003. ,

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

CRDG, College of Education ,

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

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

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

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

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

The challenges of ICT in finnish education, 1999. ,

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

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

Computer presentations of structure in algebra, Proceedings of the Eleventh International Conference, pp.248-254, 1987. ,

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

The Social Mind Construction of the Idea, 2000. ,

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

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

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

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

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