3. Abstract Data Types And Revrite Rules

Computer Algebra

Volume 144 of the series Lecture Notes in Computer Science pp 109-116

Date:

Solving symbolic equations with press

  • Leon SterlingAffiliated withDepartment of Artificial Intelligence, University of Edinburgh
  • , Alan BundyAffiliated withDepartment of Artificial Intelligence, University of Edinburgh
  • , Lawrence ByrdAffiliated withDepartment of Artificial Intelligence, University of Edinburgh
  • , Richard O'KeefeAffiliated withDepartment of Artificial Intelligence, University of Edinburgh
  • , Bernard SilverAffiliated withDepartment of Artificial Intelligence, University of Edinburgh

* Final gross prices may vary according to local VAT.

Get Access

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.

Keywords

equation solving rewrite rules meta-level inference logic programming