Affordable Access

Publisher Website

Solving symbolic equations with PRESS

Authors
Journal
Journal of Symbolic Computation
0747-7171
Publisher
Elsevier
Publication Date
Volume
7
Issue
1
Identifiers
DOI: 10.1016/s0747-7171(89)80007-0
Disciplines
  • Logic
  • Mathematics

Abstract

We describe a program, PRESS, (PRolog Equation Solving System) for solving symbolic, transcendental, non-differential equations in one or more variables. PRESS solves autonomously, i.e. without guidance from the user. The methods used for solving equations are described, together with the service facilities. The principal technique, metal-level inference, appears to be relevant to the broader field of symbolic and algebraic manipulation.

There are no comments yet on this publication. Be the first to share your thoughts.