DISSOLVE : A system for the generation of human oriented solutions to algebraic equations

  • Jonathan Oliver
  • Ingrid Zukerman
Part of the Lecture Notes in Computer Science book series (LNCS, volume 406)


In general, competent algebraists can easily recognize expressions which hold high potential for the successful application of commonly applied algebraic transformations, such as transferring terms to the other side of an equation and factoring out common factors. Novice students, however, have difficulty identifying these expressions and assessing the promise of the application of particular transformations. In order to teach these skills, an Intelligent Tutoring System must be able to reason about algebraic expressions in a way which is accessible to a student. In this paper, we describe a mechanism for the representation and manipulation of algebraic expressions which is able to characterize algebraic transformations commonly performed by algebraists. This mechanism has been implemented in a system called DISSOLVE which generates explainable and intuitively appealing solutions to algebraic equations at the high-school level.

Keywords and Phrases

AI and Education Symbolic Manipulation 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Brown, W.S., Hyde, J.P. and Tague, B.A. (1964), The ALPAK System for Non-numerical Algebra on a Digital Computer — II. Bell System Technical Journal, 1964, 43(2), pp. 785–804.Google Scholar
  2. Bundy, A. and Welham, B. (1981), Using Meta-level Inference for Selective Application of Multiple Rewrite Rules. Artificial Intelligence, 1981, 16(2), pp. 189–211.Google Scholar
  3. Bundy, A. (1983), The Computer Modeling of Mathematical Reasoning, Academic Press.Google Scholar
  4. Hearn, A. (1987), The REDUCE User's Manual — Version 3.3. Rand Publication CP78 (Rev. 7/87), July 1987.Google Scholar
  5. Lewis, C. (1981), Skill in Algebra. In J.R. Anderson (Ed.), Cognitive Skills and Their Acquisition, Lawrence Erlbaum Associates, Hillsdale, New Jersey.Google Scholar
  6. McArthur, D. (1984), A Graphical Interactive Tutorial Environment for Basic Algebra. Rand Corporation, Santa Monica, California, July 1984.Google Scholar
  7. McArthur, D. (1985), Developing Computer Tools to Support Performing and Learning Complex Cognitive Skills. In K. Pedzek, D. Berger and B. Bankes (Eds.), Applications of Cognitive Psychology: Computing and Education, Lawrence Erlbaum Associates, Hillsdale, New Jersey.Google Scholar
  8. McArthur, D. (1986), A simple System for Solving Problems in Basic Algebra. Unpublished Manuscript.Google Scholar
  9. Moses, J. (1975), A MACSYMA Primer. MathLab Memo No. 2. Computer Science Laboratory, Massachusetts Institute of Technology.Google Scholar
  10. Sleeman, D. and Brown, J. S. (1982), Intelligent Tutoring Systems, Academic Press.Google Scholar
  11. Turnbull, H.W. (1939), Theory of Equations. Oliver and Boyd Ltd.Google Scholar
  12. Zukerman, I. (1986), Computer Generation of Meta-technical Utterances in Tutoring Mathematics. Doctoral Dissertation, University of California, Los Angeles.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1990

Authors and Affiliations

  • Jonathan Oliver
    • 1
  • Ingrid Zukerman
    • 1
  1. 1.Department of Computer ScienceMonash UniversityClaytonAustralia

Personalised recommendations