Commentary on: solving symbolic equations with PRESS

DOI10.1145/43876.43879MaRDI QIDQ3796738zbMATH OpenOpenAlexWikidataFDO

Authors Richard Fateman, Alan Bundy, Richard A. O'Keefe, Leon S. Sterling

Publication date 1988

Published in ACM SIGSAM Bulletin (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/43876.43879

zbMATH Keywords

meta-level inferencePRESSProlog equation solving systemsymbolic equationstranscendental non-differential equationsZbl 0538.68026

Mathematics Subject Classification ID

Numerical computation of solutions to single equations (65H05) Symbolic computation and algebraic computation (68W30)

Recommendations

• scientific article; zbMATH DE number 3856398
• scientific article; zbMATH DE number 3963160
• ISSAC '88, Proceedings of the International Symposium on Symbolic and Algebraic Computation. Rome, Italy, July 4--8, 1988.
• Computer algebra: Past and future
• Solving algebraic problems with REDUCE

Cited in

(2)

• Solving symbolic equations with PRESS
• scientific article; zbMATH DE number 3856398 (Why is no real title available?)

Describes a project that uses

Uses Software

• PRESS
• MACSYMA

This page was built for publication: Commentary on: solving symbolic equations with PRESS

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3796738)