ABSTRACT
Abstract Data Types in Computer Algebra
Prof. James Davenport, Dept. of Mathematical Sciences, University
of Bath.
The theory of abstract data types was developed in the late 1970s
and the 1980s by several people, including the ``ADJ'' group, whose work
influenced the design of Axiom. One practical manifestation of this theory
was the OBJ-3 system. An area of computing that cries out for this approach
is computer algebra, where the objects of discourse are mathematical,
generally satisfying various algebraic rules. There have been various
theoretical studies of this in the literature.
We report on the practical applications of this theory within computer
algebra, and also to outline some of the theoretical issues raised by this
practical application.
Maintained by rbennett@cs.ucl.ac.uk