Solving Symbolic Equations with PRESS

Computer Algebra - Lecture Notes in Computer Science

View/Open
Date
1982
Author
Sterling, L.
Bundy, Alan
Byrd, L.
O'Keefe, R.
Silver, B.
Metadata
Show full item record
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.
URI

Collections