 |
|
 |
Back to list of 2000/01 seminars
| Abstract Data Types in Computer Algebra | ||
|---|---|---|
| Thursday 21 September 2000 | 14:00 | Brian Spratt Room |
|
Professor James Davenport Department 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.
