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

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

School of Informatics

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

Abstract / Description of output

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.

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

Keywords / Materials (for Non-textual outputs)

equation solving
rewrite rules
meta-level inference
logic programming

Access to Document

10.1007/3-540-11607-9_13

Full textAccepted author manuscript, 606 KB

Cite this

@inproceedings{40cf51b3fae34ebcb4b6c02111db4f49,

title = "Solving Symbolic Equations with PRESS",

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",

author = "L. Sterling and Alan Bundy and L. Byrd and R. O'Keefe and B. Silver",

year = "1982",

doi = "10.1007/3-540-11607-9_13",

language = "English",

isbn = "Volume 144/1982",

volume = "7",

booktitle = "Computer Algebra - Lecture Notes in Computer Science",

}

TY - GEN

T1 - Solving Symbolic Equations with PRESS

AU - Sterling, L.

AU - Bundy, Alan

AU - Byrd, L.

AU - O'Keefe, R.

AU - Silver, B.

PY - 1982

Y1 - 1982

N2 - 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.

AB - 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.

KW - equation solving

KW - rewrite rules

KW - meta-level inference

KW - logic programming

U2 - 10.1007/3-540-11607-9_13

DO - 10.1007/3-540-11607-9_13

M3 - Conference contribution

SN - Volume 144/1982

VL - 7

BT - Computer Algebra - Lecture Notes in Computer Science

ER -

Solving Symbolic Equations with PRESS

Abstract / Description of output

Keywords / Materials (for Non-textual outputs)

Access to Document

Fingerprint

Cite this