PROLOG symbolic algebra packages

Article View: net.math.symbolic

Article #71

#71

From: 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?

Technical Details

Message-ID: <2480@randvax.UUCP>

Path:

arc1-ca.pugleaf.net!utzoo!linus!philabs!cmcl2!seismo!harvard!talcott!panda!genrad!decvax!ittvax!dcdwest!sdcsvax!sdcrdcf!randvax!D E Stevenson <dsteven%clemson.csnet@csnet-relay>

Show Full Headers

Complete Article Headers

Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.2 9/5/84; site randvax.UUCP
Path: arc1-ca.pugleaf.net!utzoo!linus!philabs!cmcl2!seismo!harvard!talcott!panda!genrad!decvax!ittvax!dcdwest!sdcsvax!sdcrdcf!randvax!D E Stevenson <dsteven%clemson.csnet@csnet-relay>
From: dsteven%clemson.csnet@csnet-relay (D E Stevenson)
Newsgroups: net.math.symbolic
Subject: PROLOG symbolic algebra packages
Message-ID: <2480@randvax.UUCP>
Date: Tue, 14-May-85 11:19:50 EDT
Article-I.D.: randvax.2480
Posted: Tue May 14 11:19:50 1985
Date-Received: Fri, 17-May-85 05:36:56 EDT
Sender: lseward@randvax.UUCP
Distribution: net
Organization: Rand Corp., Santa Monica
Lines: 9