Solving Symbolic Equations with PRESS

L. Sterling; Alan Bundy; L. Byrd; R. O'Keefe; B. Silver

doi:10.1007/3-540-11607-9_13

Solving Symbolic Equations with PRESS

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Export citation
[ RIS ]
[ BibTeX ]

L. Sterling
Alan Bundy
L. Byrd
R. O'Keefe
B. Silver

Related Edinburgh Organisations

School of Informatics

Access status

Open

Documents

Download as Adobe PDF
Accepted author manuscript, 605 KB, PDF-document

http://www.springerlink.com/content/pq10m7j56j282g3v/

http://hdl.handle.net/1842/4475

Original language	English
Title of host publication	Computer Algebra - Lecture Notes in Computer Science
Volume	7
DOIs	10.1007/3-540-11607-9_13
State	Published - 1982

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.

Research areas

equation solving, rewrite rules, meta-level inference, logic programming

Download statistics

No data available

ID: 403091