Path: utzoo!mnetor!uunet!husc6!bloom-beacon!mit-eddie!uw-beaver!cornell!batcomputer!itsgw!nysernic!nisc.nyser.net!weltyc
From: weltyc@nisc.nyser.net (Christopher A. Welty)
Newsgroups: comp.lang.prolog
Subject: Symbolic math Package
Message-ID: <637@nysernic>
Date: 28 Mar 88 22:02:05 GMT
Sender: nobody@nysernic
Reply-To: spierk@cs.rpi.edu (Kevin L. Spier)
Organization: RPI Computer Science Dept.
Lines: 22
Keywords: symbolic math

Hello-
	I am looking for a reasonably powerful symbolic math package
written in prolog to be used on a PC. I've seen the C&M example
concerning symbolic differentiation and reduction and was wondering
if someone out there has implemented a more complete and powerful
package which they are willing to share.
	 Given that I am not a proficient prolog programmer yet and
this is a non-trivial problem, I thought I'd ask before attempting
to program some of this myself. Also, if anyone knows of any articles, 
books, etc. concerning this topic (symbolic mathematics w/ prolog) I 
would certainly appreciate pointers to these as well.
	To avoid net over-loading please send your responses directly
to me via e-mail and I will post a summary of my findings.

Thank you,

Kevin Spier
spierk@cs.rpi.edu


Christopher Welty  ---  Asst. Director, RPI CS Labs
weltyc@cs.rpi.edu       ...!rutgers!nysernic!weltyc