Axiom – a very large CAS originally developed at IBM under the
name Scratchpad. Information about Axiom can be found in Jenks
and Sutor [50].
• Derive – a small CAS originally designed by SoftWarehouse Inc. for
use on a personal computer. Derive has also been incorporated in TI-89 and TI-92 handheld calculators produced by Texas Instruments
Inc. Information about Derive can be found at the web site
http://www.derive.com.
• Macsyma – a very large CAS originally developed at M.I.T. in the
late 1960s and 1970s. There are currently a number of versions of the
original Macsyma system. Information about Macsyma can be found
in Wester [100].
• Maple – a very large CAS originally developed by the Symbolic
Computation Group at the University ofWaterloo (Canada) and now
distributed byWaterloo Maple Inc. Information about Maple is found
in Heck [45] or at the web site Inc. Information about Mathematica can be found in Wolfram [102]
• MuPAD – a large CAS developed by the University of Paderborn
(Germany) and SciFace Software GmbH & Co. KG. Information about
MuPAD can be found in Gerhard et al. [40]
• Reduce – one of the earliest computer algebra systems originally
developed in the late 1960s and 1970s. Information about Reduce is
found in Rayna [83]