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

Jonathan Oliver, Ingrid Zukerman

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

1 Citation (Scopus)


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.

Original languageEnglish
Title of host publicationAI 1988 - 2nd Australian Joint Artificial Intelligence Conference, Proceedings
PublisherSpringer-Verlag London Ltd.
Number of pages16
ISBN (Print)9783540520627
Publication statusPublished - 1 Jan 1990
EventAustralasian Joint Conference on Artificial Intelligence 1988 - Adelaide, Australia
Duration: 15 Nov 198818 Nov 1988
Conference number: 2nd
https://link.springer.com/book/10.1007/3-540-52062-7 (Proceedings)

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume406 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


ConferenceAustralasian Joint Conference on Artificial Intelligence 1988
Abbreviated titleAI 1988
Internet address


  • AI and education
  • Symbolic manipulation

Cite this