SOLVING SYMBOLIC EQUATIONS WITH PRESS
L STERLING, A BUNDY, L BYRD, R OKEEFE, B SILVER
Lecture Notes in Computer Science | Lecture Notes in Computer Science | MAIK NAUKA/INTERPERIODICA | Published : 1982
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.