Article View: net.math.symbolic
Article #72Re: PROLOG symbolic algebra packages
From: Brint Cooper
Date: Fri, 17 May 1985 21:41
Date: Fri, 17 May 1985 21:41
7 lines
853 bytes
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
Technical Details
Message-ID:
<331@brl-sem.ARPA>Path:
arc1-ca.pugleaf.net!utzoo!linus!philabs!cmcl2!seismo!brl-tgr!brl-sem!abcReferences:
<2480@randvax.UUCP>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/18/84; site brl-sem.ARPA Path: arc1-ca.pugleaf.net!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