PROLOG symbolic algebra packages

Thread View: net.math.symbolic

2 messages

[T] Back to Threads [V] Tree View [G] Group Articles

2 total messages Started by D E Stevenson Tue, 14 May 1985 15:19

#71

Author: D E Stevenson
Date: Tue, 14 May 1985 15:19

9 lines
1113 bytes

-----Forwarded Message------
Received: from csnet-relay (csnet-pdn-gw) by rand-unix.ARPA; Mon, 13 May 85 17:35:57 pdt
Message-Id: <8505140035.AA13098@rand-unix.ARPA>
Received: from clemson by csnet-relay.csnet id ab16218; 13 May 85 20:27 EDT
Date:     Mon, 13 May 85 12:47 EST
From: D E Stevenson <dsteven%clemson.csnet@csnet-relay>
Subject:  PROLOG packages

Are there any PROLOG symbolic algebra systems available?

Re: PROLOG symbolic algebra packages

#72

Author: Brint Cooper
Date: Fri, 17 May 1985 21:41

7 lines
853 bytes

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

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads