Solving Symbolic Equations with PRESS
Computer Algebra - Lecture Notes in Computer Science
Date
1982Author
Sterling, L.
Bundy, Alan
Byrd, L.
O'Keefe, R.
Silver, B.
Metadata
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.