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 -