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

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
Volume7
DOIs
Publication statusPublished - 1982

Keywords

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

Cite this