DSMITH@RUTGERS.ARPA (02/21/84)
[Forwarded from the Rutgers bboard by Laws@SRI-AI.]
COLLOQUIUM
Department of Computer Science
SPEAKER: John Cannon
Dept. of Math
University of Sydney
Syndey, AUSTRIA
TITLE: "DESIGN AND IMPLEMENTATION OF A PROGRAMMING
LANGUAGE/EXPERT SYSTEMS FOR MODERN ALGEBRA"
Abstract
Over the past 25 years a substantial body of algorithms has been
devised for computing structural information about graphs. In order
to make these techniques more generally available, I have undertaken
the development of a system for group theory and related areas of
algebra. The system consists of a high-level language (having a
Pascal-like syntax) supported by an extensive library. In that the
system attempts to plan, at a high level, the most economical solution
to a problem, it has some of the attributes of an expert system. This
talk will concentrate on (a) the problems of designing appropriate
syntax for algebra and, (b) the implementation of a language professor
which attempts to construct a model of the mathematical microworld
with which it is dealing.
DATE: Friday, February 24, 1984
TIME: 2:50 p.m.
PLACE: Hill Center - Room 705
* Coffee served at 2:30 p.m. *