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

Open Access permissions

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	https://doi.org/10.1007/3-540-11607-9_13
Publication status	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