
This Article  
 
Share  
Bibliographic References  
Add to:  
Digg Furl Spurl Blink Simpy Del.icio.us Y!MyWeb  
Search  
 
ASCII Text  x  
R.J. Fateman, "A Review of Macsyma," IEEE Transactions on Knowledge and Data Engineering, vol. 1, no. 1, pp. 133145, March, 1989.  
BibTex  x  
@article{ 10.1109/69.43409, author = {R.J. Fateman}, title = {A Review of Macsyma}, journal ={IEEE Transactions on Knowledge and Data Engineering}, volume = {1}, number = {1}, issn = {10414347}, year = {1989}, pages = {133145}, doi = {http://doi.ieeecomputersociety.org/10.1109/69.43409}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }  
RefWorks Procite/RefMan/Endnote  x  
TY  JOUR JO  IEEE Transactions on Knowledge and Data Engineering TI  A Review of Macsyma IS  1 SN  10414347 SP133 EP145 EPD  133145 A1  R.J. Fateman, PY  1989 KW  input/output; user model; Macsyma algebraic manipulation system; language semantics; knowledgeadjunction; mathematical semantics; future directions; mathematics computing; software packages; symbol manipulation VL  1 JA  IEEE Transactions on Knowledge and Data Engineering ER   
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, knowledgeadjunction, mathematical semantics, the model of the user, and other issues are considered. Possible future directions for algebraic manipulation system building are discussed.
[1] H. Abelson, G. J. Sussman, with J. Sussman,Structure and Interpretation of Computer Programs. Cambridge, MA: M.I.T. Press, 1985.
[2] R. P. Brent, "A Fortran multipleprecision arithmetic package,"ACM Trans. Math. Software, vol. 4, no. 1, pp. 5710, Mar. 1978.
[3] G. Cooperman, "Semantic matcher for Macsyma," inProc. 1986 Symp. Symbol. Algeb. Comput., B. W. Char, Ed., ACM, Univ. Waterloo, Waterloo, Ont., Canada, July 1986, pp. 132134.
[4] S. R. Czapor and K. O. Geddes, inProc. 1986 Symp. Symbol. Algeb. Comput., B. W. Char, Ed., ACM, Univ. Waterloo, Waterloo, Ont., Canada, July 1986, pp. 233238.
[5] J. H. Davenport, P. Gianni, R. D. Jenks, V. S. Miller, S. C. Morrison, M. Rothstein, C. J. Sundaresan, R. S. Sutor, and B. M. Trager, "New Scratchpad," Dep. Math. Sci., IBM T. J. Watson Res. Ctr., Yorktown Hts., NY; see also R. D. Jenks and B. M. Trager, "A primer: 11 keys to new Scratchpad," inProc. Eurosam 84, Lecture Notes in Computer Science 174. New York: SpringerVerlag, 1984.
[6] A. Doohovskoy, "Varieties of operator manipulation," inProc. 1977 MACSYMA Users' Conf., NASA CP2012, July 1977, pp. 473490.
[7] C. Engleman, "The legacy of Mathlab 68," inProc. 2nd Symp. Symbol. Algeb. Manipulation, ACM, 1971, pp. 2941.
[8] R. J. Fateman, "Macsyma's general simplifier: Philosophy and operation," inProc. 1979 MACSYMA Users' Conf., V. E. Lewis, Ed., Washington, DC, June 2022, 1979, pp. 563582.
[9] R. J. Fateman, "TeX output from Macsymalike systems,"SIGSAM Bull., Aug. 1987.
[10] R. J. Fateman, "On the construction of algebraic manipulation systems," submitted for publication.
[11] R. Fenichel, "An online system for algebraic manipulation," Ph.D. dissertation, Harvard Univ., Cambridge, MA, July 1986; also in Project MAC, M.I.T., Rep. MACTR35, Clearinghouse document AD657282.
[12] J. K. Foderaro, "Typesetting Macsyma equations," M.S. Rep., Dep. EECS, Univ. Calif., Berkeley, 1978.
[13] J. K. Foderaro, "The design of a language for algebraic computation systems," Ph.D. dissertation, Dep. EECS, Univ. Calif., Berkeley, 1983.
[14] G. Foster, "DREAMS: Display representation for algebraic manipulation systems," Comput. Sci. Div., Univ. Calif., Berkeley, Rep. UCB/CSD 84/193, Apr. 1984.
[15] K. R. Foster and H. H. Bau, "Symbolic manipulation programs for the personal computer" (Software Rev.),Science, vol. 243, Feb. 3, 1989, pp. 679684.
[16] J. P. Golden, "The evaluation of atomic variables in Macsyma," inProc. 1977 Macsyma Users' Conf., C. M. Anderson, Ed., Univ. Calif., Berkeley, July 1977, pp. 109122.
[17] J. P. Golden, "An operator algebra for Macsyma," inProc. 1986 Symp. Symbol. Algeb. Comput., B. W. Char, Ed., ACM, Univ. Waterloo, Waterloo, Ont., Canada, July 1986, pp. 244246.
[18] G. H. Gonnet, "An implementation of operators for symbolic algebra systems," inProc. 1986 Symp. Symbol. Algeb. Comput., B. W. Char, Ed., ACM, Univ. Waterloo, Waterloo, Ont., Canada, July 1986, pp. 239243.
[19] J. M. Greif, "The SMP pattern matcher," inProc. Eurocal '85, vol. 2(Lecture Notes in Computer Science 204), B. F. Caviness, Ed. New York: SpringerVerlag, 1985, pp. 303314.
[20] A. C. Hearn,Reduce 2 User's Manual, Univ. Utah, Comput. Phys. Group Rep. UCP19, Mar. 1973.
[21] A. C. Hearn,Reduce 3 User's Manual, The RAND Corp., P.O. Box 2138, Santa Monica, CA 90406; small system versions available from Northwest Computer Algorithms, P.O. Box 1747, Novato, CA 94948.
[22] A. C. Hearn, "A new REDUCE model for algebraic simplification," inProc. 1976 ACM Symp. Symbol. Algeb. Comput., Aug. 1976, pp. 4650.
[23] P. Hilfinger and P. Colella,FIDIL (Finite Difference Language) Reference Manual, Univ. Calif., Berkeley, Int. Rep., revision 2.6, July 1986.
[24] R. Itturiaga, "Contributions to mechanical mathematics," Ph.D. dissertation, Dep. Compt. Sci., CarnegieMellon Univ., Pittsburgh, PA, 1967.
[25] R. D. Jenks, "A pattern compiler," inProc. 1976 ACM Symp. Symbol. Algeb. Comput., Aug. 1976, pp. 6065.
[26] R. D. Jenks, "SCRATCHPAD/360: Reflections on a language design,"ACM SIGSAM Bull. 13, no. 1, pp. 1626, Feb. 1979.
[27] E. Kasner and J. Newman,Mathematics and the Imagination. New York: Simon and Schuster, 1940.
[28] D.E. Knuth,The Texbook, AddisonWesley, Reading, Mass., 1984.
[29] K. Korsvold, "Online algebraic simplify program," Stanford Univ., Stanford, CA, A.I. Project Memo 37, Nov. 1965, 30 p.
[30] Mathlab Group,Macsyma Reference Manual, Lab. for Comput. Sci., Mass. Inst. Technol., Cambridge, MA, Jan. 1983 (2 volumes: version 10); available also from the National Energy Software Center (NESC), Argonne, IL; similar manuals are available from Symbolics, Inc., for example, version 11 (Symbolics, Inc.), Oct. 1985.
[31] K. McIsaac, "Pattern matching algebraic identities,"SIGSAM Bull. 19, no. 2, May 1985.
[32] J. Moses, "Algebraic simplification, A guide for the perplexed,"Commun. ACM, vol. 14, no. 8, pp. 527538, Aug. 1971.
[33] J. Moses, "Macsyma: The fifth year," inProc. Eurosam 74, Stockholm, Sweden; also inACM SIGSAM Bull. 8, no. 3, pp. 105110, Aug. 1974.
[34] J. Moses, "The variety of variables in mathematical expressions," inProc. 1977 Macsyma Users' Conf., C. M. Anderson, Ed., Univ. Calif., Berkeley, July 1977.
[35] H.T. Kung, "Deadlock avoidance for systolic communication," inProc. 15th Annu. Int. Symp. Comput. Architecture, MayJune 1988.
[36] C. Ponder, "Augmenting expensive functions in Macsyma with lookup tables," inEvaluation of "Performance Enhancements " in Algebraic Manipulation Systems, Ph.D. dissertation, Dep. EECS, Univ. Calif., Berkeley; also UCB/CSD 88/453, pp. 85100.
[37] V. R. Pratt, "Top down operator precedence," inACM Symp. on Principles of Prog. Lang., Boston, MA, Oct. 1973; see also, a detailed memo (1977), "CGOLAn algebraic notation for MACLISP users," distributed with the CGOL source code.
[38] H. Seymour, "Conform, A conformal mapping system," M.S. Project, Dep. EECS, Univ. Calif., Berkeley, 1985; also inProc. 1986 Symp. Symbol. Algeb. Comput., B. W. Char, Ed., ACM, Univ. Waterloo, Waterloo, Ont., Canada, July 1986, pp. 163168.
[39] C. J. Smith and N. Soiffer, "MathScribe: A user interface for computer algebra systems," inProc. 1986 Symp. Symbol. Algeb. Comput., B. W. Char, Ed., ACM, Univ. Waterloo, Waterloo, Ont., Canada, July 1986, pp. 1623.
[40] L. Spirkovska, "MUFIEMacsyma's userfriendly interactive executive," M.S. Project, Dep. EECS, Univ. Calif., Berkeley, July 1986.
[41] Symbolic Computation Group, "Maple," Dep. Comput. Sci., Univ. Waterloo, Waterloo, Ont., Canada (vendor for Macintosh Computer: Brooks/Cole Publishing Co., 5611 Forest Lodge Rd., Pacific Grove, CA 93950).
[42] R. G. Tobey, R. J. Bobrow, and S. N. Zilles, "Automatic simplification in formac," inProc. AFIPS 1965 Fall Joint Comput. Conf., pp. 3752, 1965.
[43] K. B. Gallagher and J. R. Lyle, "A program decomposition scheme with applications to software modification and testing," inProc. 22nd Int. Conf. System Sciences(Hawaii), Jan. 1989, vol. II, pp. 479485.
[44] W. T. Wyatt, Jr., D. W. Lazier, and D. J. Orser, "A portable extended precision arithmetic package,"ACM Trans. Math. Software, vol. 2, no. 3, pp. 209229, Sept. 1976.
[45] D. A. Young and P. S. Wang, "GI/s: A graphical user interface for symbolic computation systems,"J. Symbol. Comp., vol. 4, pp. 365 380, Dec. 1987.