Solving symbolic equations with PRESS

Authors:
Leon Sterling;Alan Bundy;Lawrence Byrd;Richard O'Keefe;Bernard Silver
Affiliations:
Department of Artificial Intelligence, University of Edinburgh, Edinburgh, Scotland;Department of Artificial Intelligence, University of Edinburgh, Edinburgh, Scotland;Department of Artificial Intelligence, University of Edinburgh, Edinburgh, Scotland;Department of Artificial Intelligence, University of Edinburgh, Edinburgh, Scotland;Department of Artificial Intelligence, University of Edinburgh, Edinburgh, Scotland
Venue:
Journal of Symbolic Computation
Year:
1989

Citing 6
Cited 2

A generalized interval package and its use for semantic checking

ACM Transactions on Mathematical Software (TOMS)
Commentary on: solving symbolic equations with PRESS

ACM SIGSAM Bulletin
The Application of Homogenization to Simultaneous Equations

Proceedings of the 6th Conference on Automated Deduction
The MACSYMA system

SYMSAC '71 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation
Solving mechanics problems using meta-level inference

IJCAI'79 Proceedings of the 6th international joint conference on Artificial intelligence - Volume 2
Using matching in algebraic equation solving

IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 1

Cooperating reasoning processes: more than just the sum of their parts

IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Learning implied global constraints

IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence

Quantified Score

Hi-index	0.02

Visualization

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.