Title :
A review of Macsyma
Author :
Fateman, Richard J.
Author_Institution :
Dept. of Electr. Eng. & Comput. Sci., California Univ., Berkeley, CA, USA
fDate :
3/1/1989 12:00:00 AM
Abstract :
The successes and failures of the Macsyma algebraic manipulation system are reviewed from the point of view of one of the original contributors. A retrospective examination is provided of some of the controversial ideas that worked, and some that did not. Input/output, language semantics, knowledge-adjunction, mathematical semantics, the model of the user, and other issues are considered. Possible future directions for algebraic manipulation system building are discussed
Keywords :
mathematics computing; software packages; symbol manipulation; Macsyma algebraic manipulation system; future directions; input/output; knowledge-adjunction; language semantics; mathematical semantics; user model; Computer languages; Computerized monitoring; Costs; Data structures; Hardware; Helium; Intelligent structures; Mathematics; Software algorithms; US Department of Defense;
Journal_Title :
Knowledge and Data Engineering, IEEE Transactions on
