Edinburgh Research Explorer

Solving Symbolic Equations with PRESS

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

Related Edinburgh Organisations

Open Access permissions


Original languageEnglish
Title of host publicationComputer Algebra - Lecture Notes in Computer Science
Publication statusPublished - 1982


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