weltyc@nisc.nyser.net (Christopher A. Welty) (03/29/88)
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