deduce

v 1: reason by deduction; establish by deduction [syn: {infer}, {deduct},

{derive}]

2: conclude by reasoning; in logic [syn: {infer}]

REDUCE

A {symbolic mathematics} language with

{ALGOL}-like {syntax}, written in {Lisp} by Anthony Hearn in

1963.

Reduce 2 is a version based on {Portable Standard LISP}.

{Home (http://www.rrz.uni-koeln.de/REDUCE/)}.

E-mail: .

Server: reduce-netlib◊rand.org.

["REDUCE, Software for Algebraic Computation", G. Rayna,

Springer 1987].

(1994-10-31)