Solving Symbolic Equations with PRESS

L. Sterling, Alan Bundy, L. Byrd, R. O'Keefe, B. Silver

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract / Description of output

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.
Original languageEnglish
Title of host publicationComputer Algebra - Lecture Notes in Computer Science
Publication statusPublished - 1982

Keywords / Materials (for Non-textual outputs)

  • equation solving
  • rewrite rules
  • meta-level inference
  • logic programming


Dive into the research topics of 'Solving Symbolic Equations with PRESS'. Together they form a unique fingerprint.

Cite this