×
Fateman, Richard; Bundy, Alan; O’Keefe, Richard; Sterling, Leon

Commentary on: Solving symbolic equations with PRESS. (English) Zbl 0651.68042

SIGSAM Bull. 22, No. 2, 27-40 (1988).
Commentary on the paper by L. Sterling, A. Bundy, L. Byrd, R. O’Keefe and B. Silver, Computer algebra, EUROCAM ’82, Conf. Marseille/France 1982, Lect. Notes Comput. Sci. 144, 109-116 (1982; Zbl 0538.68026).

Cited in 1 Document

MSC:

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

Keywords:

symbolic equations; PRESS; Prolog equation solving system; meta-level inference; transcendental non-differential equationsZbl 0538.68026

Citations:

Zbl 0538.68026

Software:

PRESS; MACSYMA
Cite Review PDF
Full Text: DOI