|
Edinburgh Research Archive >
Informatics, School of >
Informatics Publications >
Please use this identifier to cite or link to this item:
http://hdl.handle.net/1842/4475
|
| Title: | Solving Symbolic Equations with PRESS |
| Authors: | Sterling, L.
Bundy, Alan
Byrd, L.
O'Keefe, R.
Silver, B. |
| Issue Date: | 1982 |
| Journal Title: | Computer Algebra - Lecture Notes in Computer Science |
| Volume: | 7 |
| Page Numbers: | 071-084 |
| Abstract: | We outline a program, PRESS (PRolog Equation Solving System) for solving symbolic, transcendental, non-differential equations. The methods used for solving equations are described, together with the service facilities. The principal technique, meta-level inference, appears to have applications in the broader field of symbolic and algebraic manipulation. |
| Keywords: | equation solving
rewrite rules
meta-level inference
logic programming |
| URI: | http://www.springerlink.com/content/pq10m7j56j282g3v/
http://hdl.handle.net/1842/4475 |
| ISBN: | Volume 144/1982 |
| Appears in Collections: | Informatics Publications
|
Items in ERA are protected by copyright, with all rights reserved, unless otherwise indicated.
|
