3 papers
cs.GL2026
Symbolic Mathematical Computation 1965--1975: The emergence of a discipline
Robert M. Corless, Arthur C. Norman, Tomas Recio +2
Today, symbolic mathematical computation is taken for granted as part of the scientific infrastructure, but it has not always been so. This paper provides a historical survey of th…
cs.SC2025
Software Portability for Computer Algebra
Arthur C. Norman, Stephen M. Watt
We have been involved in the creation of multiple software systems for computer algebra, including Reduce, Maple, Axiom and Aldor as well as a number of smaller specialised program…
cs.SC2025
Semi-Centennial REDUCE
Arthur C. Norman, Stephen M. Watt
We present a version of the REDUCE computer algebra system as it was in the early 1970s. We show how this historical version of REDUCE may be built and run in very modest present-d…