@inproceedings{7a90e5f314634794831fda46ef90db26,
title = "DISSOLVE: A system for the generation of human oriented solutions to algebraic equations",
abstract = "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 = "AI and education, Symbolic manipulation",
author = "Jonathan Oliver and Ingrid Zukerman",
year = "1990",
month = jan,
day = "1",
doi = "10.1007/3-540-52062-7_73",
language = "English",
isbn = "9783540520627",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer-Verlag London Ltd.",
pages = "92--107",
booktitle = "AI 1988 - 2nd Australian Joint Artificial Intelligence Conference, Proceedings",
address = "Germany",
note = "2nd Australian Joint Artificial Intelligence Conference, AI 1988 ; Conference date: 15-11-1988 Through 18-11-1988",
}