# Mixing Microworld and Cas Features in Building Computer Systems that Help Students Learn Algebra

- 130 Downloads
- 27 Citations

## Abstract

We present the design principles for a new kind of computer system that helps students learn algebra. The fundamental idea is to have a system based on the microworld paradigm that allows students to make their own calculations, as they do with paper and pencil, without being obliged to use commands, and to verify the correctness of these calculations. This requires an advanced editor for algebraic expressions, an editor for algebraic reasoning and an algorithm that calculates the equivalence of two algebraic expressions. A second feature typical of microworlds is the ability to provide students information about the state of the problem in order to help them move toward a solution. A third feature comes from the CAS (Computer Algebra System) paradigm, consisting of providing commands for executing certain algebraic actions; these commands have to be adapted to the current level of understanding of the students in order to only present calculations they can do without difficulty. With this feature, such a computer system can provide an introduction to the proper use of a Computer Algebra System. We have implemented most of these features in a computer system called aplusix for a sub-domain of algebra, and we have done several experiments with students (mainly grades 9 and 10). We had good results, with positive feedback from students and teachers. aplusix is currently a prototype that can be downloaded from http://aplusix.imag.fr. It will become a commercial product during 2004.

## Preview

Unable to display preview. Download preview PDF.

## REFERENCES

- Alpert, S. R., Singley, M. K. and Fairweather, P. G. (1999). Deploying intelligent tutors on the web:An architecture and an example.
*International Journal of Arti cial Intelligence in Education*10(2), pp. 183–197.Google Scholar - Anderson, J. R., Boyle, C. F., Corbett, A. T. and Lewis, M. W. (1990). Cognitive modeling and intelligent tutoring.
*Artificial Intelligence*42 (1).Google Scholar - Arzarello, F., Bazzini, L. and Chiappini, G. (2001).
*A Model for Analysing Algebraic Process of Thinking*, in Sutherland, et al (Eds. ),*Perspectives on School Algebra*. Dordrecht: Kluwer Academic Publishers.Google Scholar - Balacheff, N. and Gaudin, N. (2002). Students conceptions:An introduction to a formal characterization. Cahier du laboratoire Leibniz # 65, http://www-leibniz. imag. fr/Les-Cahiers/Cahiers2002. html.Google Scholar
- Balacheff, N. and Sutherland, R. (1994). Epistemological domain of validity of micro-worlds, the case of Logo and Cabri-géomètre. In: R. Lewis and P. Mendelshon (eds. ),
*Proceedings of the IFIP TC3/WG3.3, Lessons from learning*(pp. 137–150). North-Holland.Google Scholar - Ball, L. (2001). Solving equations: Will a more general approach be possible with CAS? Proceedings of the 12th ICMI Study Conference. The University of Melbourne.Google Scholar
- Beeson, M. (1990). Mathpert, a computerized learning environment for Algebra, Trigonometry and Calculus.
*Journal of Artificial Intelligence in Education*pp. 65–76.Google Scholar - Beeson, M. (1996). Design principles of mathpert: Software to support education in algebra and calculus. In N. Kajler, (ed. ),
*Human Interfaces to Symbolic Computation*, Springer-Verlag.Google Scholar - Brousseau, G. (1997).
*Theory of didactical situations in mathematics*. Kluwer Academic Publishers, Dordrecht.Google Scholar - Büdenbender, J., Frischauf, A., Goguadze, G., Melis, E., Libbrecht, P. and Carsten U. (2002). Using Computer Algebra Systems as Cognitive Tools.
*Proceedings of ITS2002. LNCS 2363*(pp. 802–810). Springer.Google Scholar - Bundy, A. and Welham B. (1981). Using meta-level inference for selective application of multiple rewriting rule sets in algebraic manipulation.
*Artificial Intelligence*, Vol 16, no. 2.Google Scholar - Cerulli, M. and Mariotti, M. A. (2000). A symbolic manipulator to introduce pupils to algebra theory.
*Proceedings of the workshop Learning Algebra with the Computer, a Transdisciplinary Workshop*. ITS '2000. Montreal.Google Scholar - Dershowitz, N and Jouannaud, J. P. (1989). Rewrite Systems. In
*Handbook of Theoretical Computer Science*, Vol B, Chap 15. North-Holland.Google Scholar - Foss, C. L. (1987). Learning from errors in ALGEBRALAND. IRL report No IRL87–0003.Google Scholar
- Hollan, J. D., Hutchins, E. L. and Weitzman, L. (1984). STEAMER:An interactive inspectable simulation-based training system.
*AI Magazine*, vol 5, n° 2.Google Scholar - Kieran, C. (1991). A procedural-structural perspective on algebra research.
*proceedings of Psychology of Mathematics Education*. Furinghetti, F (Ed. ), Assisi, Italy.Google Scholar - Koedinger, K. R., Anderson, J. R., Hadley, W. H. and Mark, M. A. (1997). Intelligent tutoring goes to school in the big city.
*International Journal of Artificial Intelligence in Education*8, (pp. 30–43).Google Scholar - Laborde, J. M. (1989). Designing intelligent tutorial systems: The case of geometry and cabri-géomètre,
*IFIP WG 3.1 Working Conference on Educational Software at the Secondary Education Level*, Reykjavik.Google Scholar - Lagrange J. B. and Py D. (2002). Développer un environnement d 'apprentissage utilisant le calcul formel. In
*Sciences et techniques éducatives*. V. 9 n° 1–2, p. 91–120. HermèsLavoisier, Paris.Google Scholar - McArthur, D. and Hotta Y. (1987). Learning problem-solving skills in algebra.
*Journal of education technology systems*15.Google Scholar - Nguyen-Xuan, A., Nicaud, J. F., Gélis, J. M. and Joly, F. (1993). An experiment in learning algebra with an intelligent learning environment.
*Proceedings of PEG '93*, Edinburgh.Google Scholar - Nguyen-Xuan, A., Bastide, A. and Nicaud J. F. (1999). Learning to match algebraic rules by solving problems and by studying examples with an intelligent learning environment.
*Proceedings of Artificial Intelligence in Education*, Le Mans.Google Scholar - Nicaud, J. F., Aubertin, C., Nguyen-Xuan, A., Sa, M. and Wach P. (1990). APLUSIX: A learning environment for student acquisition of strategic knowledge in algebra.
*Proceedings of PRICAI '90*. Nagoya.Google Scholar - Nicaud, J. F. and Bouhineau, D. (2001). Syntax and semantics in algebra.
*Proceedings of the 12th ICMI Study Conference*. The University of Melbourne.Google Scholar - Nicaud, J. F., Bouhineau, D. and Huguet T. (2002). The Aplusix-Editor: A new kind of software for the learning of algebra. Proceedings of ITS2002. LNCS 2363. (pp. 802–810). Springer.Google Scholar
- Payne, S. J. and Squibb, H. R. (1990). Algebra mal-rules and cognitive accounts of errors.
*Cognitive Sciences*14.Google Scholar - Oliver, J. and Zukerman I. (1990). dissolve: An algebra expert for an intelligent tutoring system.
*Proceeding of ARCE*, Tokyo.Google Scholar - Thompson, P. W. (1989). Artificial intelligence, advanced technology, and learning and teaching algebra. In S. Wagner and C. Kieran:
*Research issues in the learning and Teaching of Algebra*. Lawrence Erlbaum.Google Scholar