Also found in: Encyclopedia, Wikipedia.
MACSYMAMac'S Symbolic Manipulation System
MACSYMAProject Mac's Symbolic Manipulation System
References in periodicals archive ?
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.
A computer program called "MACSYMA" was enlisted to obtain results and ensure accuracy.
Like the MACSYMA advisor (Genesereth, 1982), CalMaeth currently gives the student as much detail as possible in the diagnostic.
Each of the "Big Three" general-purpose math-software developers - Macsyma, Arlington, Mass.; Waterloo Maple, Waterloo, Ontario; and Wolfram Research, Champaign, Ill.
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.
Products strong in numerical processing, according to an R&D Magazine survey of software developers, include Macsyma's Macsyma, The MathWork's MATLAB, National Instruments' HiQ, Speakeasy's Speakeasy, and Wolfram Research's Mathematica.
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.