This memo was originally started in April 1972, but progress was interrupted. It describes our ideas on equation solving prior to Bundy 1975 and the writing of the PRESS equation solving program. Following a revival of interest in equation solving we have decided to finish the memo and produce it as a working paper. It deals with some areas not covered in Bundy 1975 and is complementary to that paper. Our ideas on some of these areas have never been implemented, especially those on polynomial, rational and trigonometric equations.
|Number of pages||44|
|Publication status||Published - 1979|
|Name||Working Paper |
|Publisher||Department of Artificial Intelligence|