Xref: utzoo sci.math.symbolic:2294 comp.ai:8964
Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!think.com!mintaka!ogicse!cs.uoregon.edu!pragmatix.cs.uoregon.edu!bart
From: bart@pragmatix.cs.uoregon.edu (Barton Christopher Massey)
Newsgroups: sci.math.symbolic,comp.ai
Subject: Bibliography/Info Wanted On Qualitative Reasoning And Symbolic Math
Message-ID: <1991Apr6.004542.16296@cs.uoregon.edu>
Date: 6 Apr 91 00:45:42 GMT
Article-I.D.: cs.1991Apr6.004542.16296
Sender: usenet@cs.uoregon.edu (Netnews Owner)
Organization: Department of Computer Science, University of Oregon
Lines: 14
Originator: bart@pragmatix.cs.uoregon.edu

I am currently exploring using Qualitative Reasoning AI techniques to
alleviate the problems associated with handling branch cuts in symbolic
algebra packages.  Does anyone one out there know of any previous work along
these lines, or have any thoughts on the subject?  Please e-mail, and I will
summarize.  Thanks much for any help you can give!

					Bart Massey

					Dept. of Computer Science
					University of Oregon
					Eugene, OR  97403
					(503) 346-4156

					bart@cs.uoregon.edu