论文信息 - Solving Symbolic Equations with PRESS

Solving Symbolic Equations with PRESS

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.

Leon Sterling | Alan Bundy | Bernard Silver | Richard A. O'Keefe | Lawrence Byrd

[1] Alan Bundy,et al. Homogenization: Preparing Equations for Change of Unknown , 1981, IJCAI.

[2] Leon Sterling,et al. Commentary on: solving symbolic equations with PRESS , 1988, SIGS.

[3] Bernard Silver. The Application of Homogenization to Simultaneous Equations , 1982, CADE.

[4] Alan Bundy,et al. Using Meta-Level Inference for Selective Application of Multiple Rewrite Rule Sets in Algebraic Manipulation , 1980, Artif. Intell..

[5] W. A. Martin,et al. The MACSYMA system , 1971, SYMSAC '71.

[6] Alan Bundy,et al. Solving mechanics problems using meta-level inference , 1979, IJCAI 1979.

[7] Daniel Richardson,et al. Some undecidable problems involving elementary functions of a real variable , 1969, Journal of Symbolic Logic.

[8] Alan Bundy. A generalized interval package and its use for semantic checking , 1984, TOMS.

[9] Bernard Silver. Meta-Level Inference: Representing and Learning Control Information in Artificial Intelligence , 1986 .

[10] Alan Bundy,et al. Using Matching in Algebraic Equation Solving , 1981, IJCAI.