Edinburgh Research Explorer

Solving Symbolic Equations with PRESS

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

Related Edinburgh Organisations

Access status

Open

Original languageEnglish
Title of host publicationComputer Algebra - Lecture Notes in Computer Science
Volume7
DOIs
StatePublished - 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.

Research areas

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

Download statistics

No data available

ID: 403091