Author(s)

G. Cioni, A. Colagrossi & M. Temperini

Abstract

An environment for supporting interactive abstract algebra learning is pre- sented. The environment is based on the definition of an object-oriented programming language integrated with an automated deduction tool. The class construct is enhanced by allowing for defining axioms for the objects in that class. We present the main features of the environment, and show some significant examples based on work sessions. 1 Introduction Computer aided instruction has surged ahead during last years^'*. Among the main topics of interest there is the support to teaching and learning the basics of abstract algebra^. The comprehension of concepts in abstract algebra is based on the un- derstanding of some principles that are fun

Keywords