education Computer algebra CAS
Macsyma 1968 Theory Proving (TP) TPS |?| Automath 1967 This paper circumvents such debates (16) by approaching mathematics education by the way of mathematical software, asking: How can TP technology support development of mathematical thinking?
So, we did them by virtue of the "
Macsyma symbolic manipulator code", created by MIT for NASA back in the 1960s.
For more in-depth information on
Macsyma 2.2, visit the firm's Web site, listed in this article's Company Directory.
Like the
MACSYMA advisor (Genesereth, 1982), CalMaeth currently gives the student as much detail as possible in the diagnostic.
Some highlights of another symbolic math package,
Macsyma, are its speed and formatting flexibility as well as its graphics animations; versions are available for DOS and most workstations.
In Proceedings of the 1977
MACSYMA User's Conference, NASA CP-2012, 1977.
That survey narrowed the field to eight: Derive, IMSL,
Macsyma, Maple, Mathcad, Mathematica, Matlab, and TK Solver.
PFSA documentation suggests that if offers fewer features than
Macsyma but much faster operation.
In well-developed symbolic algebra languages, such as
Macsyma, an arsenal of simplifying tools is available, and their selection is interactively made by the user.