Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: Notesfiles $Revision: 1.7.0.10 $; site uiucdcsb
Path: utzoo!watmath!clyde!cbosgd!ihnp4!inuxc!pur-ee!uiucdcs!uiucdcsb!mozetic
From: mozetic@uiucdcsb.CS.UIUC.EDU
Newsgroups: net.ai
Subject: Re: Equation solver
Message-ID: <5500029@uiucdcsb>
Date: Wed, 29-Jan-86 11:01:00 EST
Article-I.D.: uiucdcsb.5500029
Posted: Wed Jan 29 11:01:00 1986
Date-Received: Sat, 1-Feb-86 00:21:36 EST
References: <1985@teddy.UUCP>
Lines: 19
Nf-ID: #R:teddy.UUCP:1985:uiucdcsb:5500029:000:600
Nf-From: uiucdcsb.CS.UIUC.EDU!mozetic    Jan 29 10:01:00 1986


Some work on algebraic manipulation was done at the Edinburgh Univ.
(Dept. of AI) by A.Bundy and others. I can give you few references:

   Bundy, Silver: Preparing Equations for Change in Unknown,
   IJCAI-81, and DAI research paper 159.

   Bundy, Sterling: Meta-level Inference in Algebra, DAI 164.

   Bundy, Welham: Using Meta-level Inference for Selective
   Application of Multiple Rewrite Rules in Algebraic Manipulation,
   Artificial Intelligence 16(2), 1981.

You may also consult the book:

   Bundy: The Computer Modelling of Mathematical Reasoning,
   Academic Press, 1983.

Good luck.