Solving symbolic equations with press
- First Online:
- Cite this paper as:
- Sterling L., Bundy A., Byrd L., O'Keefe R., Silver B. (1982) Solving symbolic equations with press. In: Calmet J. (eds) Computer Algebra. EUROCAM 1982. Lecture Notes in Computer Science, vol 144. Springer, Berlin, Heidelberg
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.
Keywordsequation solving rewrite rules meta-level inference logic programming
Unable to display preview. Download preview PDF.