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

  • Jean-FranÇois Nicaud
  • Denis Bouhineau
  • Hamid Chaachoua


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 It will become a commercial product during 2004.

algebraic expressions algebraic reasoning didactical evaluation feedback microworld 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 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
  2. 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
  3. 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
  4. 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
  5. 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
  6. 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
  7. Beeson, M. (1990). Mathpert, a computerized learning environment for Algebra, Trigonometry and Calculus. Journal of Artificial Intelligence in Education pp. 65–76.Google Scholar
  8. 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
  9. Brousseau, G. (1997). Theory of didactical situations in mathematics. Kluwer Academic Publishers, Dordrecht.Google Scholar
  10. 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
  11. 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
  12. 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
  13. Dershowitz, N and Jouannaud, J. P. (1989). Rewrite Systems. In Handbook of Theoretical Computer Science, Vol B, Chap 15. North-Holland.Google Scholar
  14. Foss, C. L. (1987). Learning from errors in ALGEBRALAND. IRL report No IRL87–0003.Google Scholar
  15. 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
  16. Kieran, C. (1991). A procedural-structural perspective on algebra research. proceedings of Psychology of Mathematics Education. Furinghetti, F (Ed. ), Assisi, Italy.Google Scholar
  17. 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
  18. 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
  19. 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
  20. McArthur, D. and Hotta Y. (1987). Learning problem-solving skills in algebra. Journal of education technology systems 15.Google Scholar
  21. 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
  22. 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
  23. 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
  24. 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
  25. 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
  26. Payne, S. J. and Squibb, H. R. (1990). Algebra mal-rules and cognitive accounts of errors. Cognitive Sciences 14.Google Scholar
  27. Oliver, J. and Zukerman I. (1990). dissolve: An algebra expert for an intelligent tutoring system. Proceeding of ARCE, Tokyo.Google Scholar
  28. 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

Copyright information

© Kluwer Academic Publishers 2004

Authors and Affiliations

  • Jean-FranÇois Nicaud
    • 1
  • Denis Bouhineau
    • 1
  • Hamid Chaachoua
    • 1
  1. 1.Nicaud IMAG-LeibnizUniversité de GrenobleGrenoble cedexFrance;

Personalised recommendations