An Environment For Supporting The Learning OfAbstract Algebra

algebra G. Cioni, A. Colagrossi, M. Temperini Istituto diAnalisi dei Sistemi ed Informatica, CNR, Viale Manzoni, 30,1-00185, Roma, Italia E-Mail: {cioni,colagrossi}@iasi.rm.cnr.it, marte@dis.iniromal.it Abstract An environment for supporting interactive abstract algebra learning is presented. 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.An environment for supporting interactive abstract algebra learning is presented. 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.