Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP Path: utzoo!watmath!clyde!floyd!harpo!seismo!hao!hplabs!sri-unix!DSMITH@RUTGERS.ARPA From: DSMITH@RUTGERS.ARPA Newsgroups: net.ai Subject: Rutger's University Computer Science Colloquium Message-ID: <16841@sri-arpa.UUCP> Date: Tue, 21-Feb-84 15:27:53 EST Article-I.D.: sri-arpa.16841 Posted: Tue Feb 21 15:27:53 1984 Date-Received: Fri, 24-Feb-84 02:17:06 EST Lines: 36 [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. *