[sci.math.symbolic] Bibliography/Info Wanted On Qualitative Reasoning And Symbolic Math

bart@pragmatix.cs.uoregon.edu (Barton Christopher Massey) (04/06/91)

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