Book Chapter
Solving symbolic equations with press
L Sterling, A Bundy, L Byrd, R O'Keefe, B Silver
Lecture Notes in Computer Science | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | MAIK NAUKA/INTERPERIODICA | Published : 1982
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.
Grants
Awarded by Connecticut State Emergency Response Commission