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.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
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.
Anderson, J. R., Boyle, C. F., Corbett, A. T. and Lewis, M. W. (1990). Cognitive modeling and intelligent tutoring. Artificial Intelligence 42 (1).
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.
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.
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.
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.
Beeson, M. (1990). Mathpert, a computerized learning environment for Algebra, Trigonometry and Calculus. Journal of Artificial Intelligence in Education pp. 65–76.
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.
Brousseau, G. (1997). Theory of didactical situations in mathematics. Kluwer Academic Publishers, Dordrecht.
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.
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.
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.
Dershowitz, N and Jouannaud, J. P. (1989). Rewrite Systems. In Handbook of Theoretical Computer Science, Vol B, Chap 15. North-Holland.
Foss, C. L. (1987). Learning from errors in ALGEBRALAND. IRL report No IRL87–0003.
Hollan, J. D., Hutchins, E. L. and Weitzman, L. (1984). STEAMER:An interactive inspectable simulation-based training system. AI Magazine, vol 5, n° 2.
Kieran, C. (1991). A procedural-structural perspective on algebra research. proceedings of Psychology of Mathematics Education. Furinghetti, F (Ed. ), Assisi, Italy.
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).
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.
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.
McArthur, D. and Hotta Y. (1987). Learning problem-solving skills in algebra. Journal of education technology systems 15.
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.
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.
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.
Nicaud, J. F. and Bouhineau, D. (2001). Syntax and semantics in algebra. Proceedings of the 12th ICMI Study Conference. The University of Melbourne.
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.
Payne, S. J. and Squibb, H. R. (1990). Algebra mal-rules and cognitive accounts of errors. Cognitive Sciences 14.
Oliver, J. and Zukerman I. (1990). dissolve: An algebra expert for an intelligent tutoring system. Proceeding of ARCE, Tokyo.
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.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Nicaud, JF., Bouhineau, D. & Chaachoua, H. Mixing Microworld and Cas Features in Building Computer Systems that Help Students Learn Algebra. International Journal of Computers for Mathematical Learning 9, 169–211 (2004). https://doi.org/10.1023/B:IJCO.0000040890.20374.37
Issue Date:
DOI: https://doi.org/10.1023/B:IJCO.0000040890.20374.37