Commentary on: solving symbolic equations with PRESS

1 April 1988

journal article
Published by Association for Computing Machinery (ACM) in ACM SIGSAM Bulletin

Vol. 22 (2) , 27-40
https://doi.org/10.1145/43876.43879

Abstract

The paper "Solving Symbolic Equations with PRESS", by Sterling, Bundy, Byrd, O'Keefe and Silver [Sterling et al 82], describes a program PRESS (PROLOG Equation Solving System) which solves some symbolic, transcendental, non-differential equations. The problem of solving such equations is divided into two levels, a meta-level which is intended as a research vehicle for exploring search strategies in mathematical reasoning and a set of equation-solving modules used initially for the MECHO [Bundy et al 79] system (a project which aims to solve high-school mechanics problems stated in English.)

Keywords

This publication has 6 references indexed in Scilit:

Of integration by man and machine
ACM SIGSAM Bulletin, 1983
Rationally simplifying non-rational expressions
ACM SIGSAM Bulletin, 1972
The MACSYMA system
Published by Association for Computing Machinery (ACM) ,1971
On Canonical Forms and Simplification
Journal of the ACM, 1970
An Irreducibility Criterion for Polynomials Over the Integers
The American Mathematical Monthly, 1969
Some undecidable problems involving elementary functions of a real variable
The Journal of Symbolic Logic, 1969