Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.2 9/18/84; site brl-sem.ARPA
Path: utzoo!linus!philabs!cmcl2!seismo!brl-tgr!brl-sem!abc
From: abc@brl-sem.ARPA (Brint Cooper )
Newsgroups: net.math.symbolic
Subject: Re: PROLOG symbolic algebra packages
Message-ID: <331@brl-sem.ARPA>
Date: Fri, 17-May-85 17:41:25 EDT
Article-I.D.: brl-sem.331
Posted: Fri May 17 17:41:25 1985
Date-Received: Sun, 19-May-85 08:23:55 EDT
References: <2480@randvax.UUCP>
Reply-To: abc@brl-sem (SECAD/CSMB) <abc>.ARPA (Brint Cooper (SECAD/CSMB) <abc>)
Distribution: net
Organization: Ballistic Research Lab
Lines: 7

There is a Prolog symbolic algebra package called PRESS.  You can get
info from A. Bundy at U. of Edinburgh.

At least that's what my officemate says and he usually knows about such
stuff.

Brint