REDUCE is here: https://reduce-algebra.sourceforge.io https://reduce-algebra.sourceforge.io The first published paper about REDUCE is from 1967, work on REDUCE

REDUCE is here: https://reduce-algebra.sourceforge.io https://reduce-algebra.sourceforge.io The first published paper about REDUCE is from 1967, work on REDUCE started slightly earlier: https://dl.acm.org/doi/10.1145/2402536.2402544 https://dl.acm.org/doi/10.1145/2402536.2402544 The first expressions of its Lisp implementation were written roughly 60 years ago.