{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,8]],"date-time":"2026-01-08T23:47:11Z","timestamp":1767916031493,"version":"3.49.0"},"reference-count":35,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[1974,8,1]],"date-time":"1974-08-01T00:00:00Z","timestamp":144547200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["SIGSAM Bull."],"published-print":{"date-parts":[[1974,8]]},"abstract":"<jats:p>MACSYMA is a large symbolic and algebraic manipulation system which has been under development at Project MAC, M.I.T. since 1969. We first discuss some of the design decisions, such as multiple representations, that led to the current system. We then give a brief description of the facilities of MACSYMA by dividing the system into seven packages: language and interactive facilities, general representation, rational function representation and related algorithms, the integration subsystem, the power series subsystem, the MACLISP system, and miscellaneous facilities.<\/jats:p>","DOI":"10.1145\/1086837.1086857","type":"journal-article","created":{"date-parts":[[2007,1,17]],"date-time":"2007-01-17T18:32:02Z","timestamp":1169058722000},"page":"105-110","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":26,"title":["MACSYMA - the fifth year"],"prefix":"10.1145","volume":"8","author":[{"given":"Joel","family":"Moses","sequence":"first","affiliation":[{"name":"Project MAC - Massachusetts Institute of Technology, Cambridge, Mass."}]}],"member":"320","published-online":{"date-parts":[[1974,8]]},"reference":[{"key":"e_1_2_1_1_1","volume-title":"of Comp","author":"Berlekamp E. R.","unstructured":"Berlekamp , E. R. , \"Factoring Polynomials over Large Finite Fields,\" Math. of Comp . vol. 24 , no. 111, July 1970. Berlekamp, E. R., \"Factoring Polynomials over Large Finite Fields,\" Math. of Comp. vol. 24, no. 111, July 1970."},{"key":"e_1_2_1_2_1","unstructured":"Bogen R. A. et al \"MACSYMA Reference Manual \" version 6 Project MAC M.I.T. Cambridge MA. Jan. 1974.  Bogen R. A. et al \"MACSYMA Reference Manual \" version 6 Project MAC M.I.T. Cambridge MA. Jan. 1974."},{"key":"e_1_2_1_3_1","unstructured":"Bonneau R. \"Fast Polynomial Operations Using the Fast Fourier Transform \" Project MAC M.I.T. (to appear).  Bonneau R. \"Fast Polynomial Operations Using the Fast Fourier Transform \" Project MAC M.I.T. (to appear)."},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/321662.321664"},{"key":"e_1_2_1_5_1","volume-title":"Bell Telephone Labs","author":"Brown W. S.","year":"1973","unstructured":"Brown , W. S. , The ALTRAN User's Manual , Bell Telephone Labs , Murray Hill , N.J. , 1973 . Brown, W. S., The ALTRAN User's Manual, Bell Telephone Labs, Murray Hill, N.J., 1973."},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/321662.321666"},{"key":"e_1_2_1_7_1","unstructured":"Datamation May 1973.  Datamation May 1973."},{"key":"e_1_2_1_8_1","volume-title":"April, 1971.","author":"Dowson M.","unstructured":"Dowson , M. , \"How to get on the MAC\/AI System,\" Memo 215, A. I. Lab, M.I.T ., April, 1971. Dowson, M., \"How to get on the MAC\/AI System,\" Memo 215, A. I. Lab, M.I.T., April, 1971."},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/800204.806265"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/800204.806300"},{"key":"e_1_2_1_11_1","volume-title":"Report 95","author":"Fateman R. J.","year":"1972","unstructured":"Fateman , R. J. \"Essays in Algebraic Simplification,\" Tech. Report 95 , Project MAC , M.I.T. , April 1972 . Fateman, R. J. \"Essays in Algebraic Simplification,\" Tech. Report 95, Project MAC, M.I.T., April 1972."},{"key":"e_1_2_1_12_1","unstructured":"Fateman R. J. \"On the Computation of powers of sparse polynomials \" Studies in Applied Mathematics (to appear).  Fateman R. J. \"On the Computation of powers of sparse polynomials \" Studies in Applied Mathematics (to appear)."},{"key":"e_1_2_1_13_1","unstructured":"Fateman R. J. \"On the multiplication of Poisson Series \" Celestial Mechanics (to appear).  Fateman R. J. \"On the multiplication of Poisson Series \" Celestial Mechanics (to appear)."},{"key":"e_1_2_1_14_1","unstructured":"Genesereth M. R. \"A Grammar Primer for MACSYMA \" Project MAC M.I.T. July 1973.  Genesereth M. R. \"A Grammar Primer for MACSYMA \" Project MAC M.I.T. July 1973."},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/800125.804044"},{"key":"e_1_2_1_16_1","volume-title":"March","author":"Hearn A. C.","year":"1973","unstructured":"Hearn , A. C. , \"Reduce-2 User's Manual,\" Report UCP-19 , University of Utah , March 1973 . Hearn, A. C., \"Reduce-2 User's Manual,\" Report UCP-19, University of Utah, March 1973."},{"key":"e_1_2_1_17_1","volume-title":"The Art of Computer Programming","author":"Knuth D.","year":"1968","unstructured":"Knuth , D. , The Art of Computer Programming , vol. 1 , Addison Wesley , 1968 . Knuth, D., The Art of Computer Programming, vol. 1, Addison Wesley, 1968."},{"key":"e_1_2_1_18_1","volume-title":"Conf., R. Tobey (ed.) IBM","author":"Lipson J. D.","year":"1969","unstructured":"Lipson , J. D. \"Symbolic Methods for the Computer Solution of Linear Equations with Applications to Flow Graphs,\" Proc. of the 1968 Summer Institute on Symbolic Math . Conf., R. Tobey (ed.) IBM , June 1969 . Lipson, J. D. \"Symbolic Methods for the Computer Solution of Linear Equations with Applications to Flow Graphs,\" Proc. of the 1968 Summer Institute on Symbolic Math. Conf., R. Tobey (ed.) IBM, June 1969."},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/800204.806270"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/800204.806267"},{"key":"e_1_2_1_21_1","first-page":"155","volume-title":"A LISP Program to Display Mathematical Expression on Typewriter-like Devices,\" Interactive Systems for Experimental Applied Mathematics","author":"Millen J. K.","year":"1968","unstructured":"Millen , J. K. , \" CHARYBDIS : A LISP Program to Display Mathematical Expression on Typewriter-like Devices,\" Interactive Systems for Experimental Applied Mathematics , Academic Press , 1968 , pp. 155 -- 163 . Millen, J. K., \"CHARYBDIS: A LISP Program to Display Mathematical Expression on Typewriter-like Devices,\" Interactive Systems for Experimental Applied Mathematics, Academic Press, 1968, pp. 155--163."},{"key":"e_1_2_1_22_1","volume-title":"M.I.T.","author":"Moon D.","year":"1974","unstructured":"Moon , D. et al. \"MACLISP Reference Manual,\" Project MAC , M.I.T. , 1974 . Moon, D. et al. \"MACLISP Reference Manual,\" Project MAC, M.I.T., 1974."},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/362637.362648"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/362637.362651"},{"key":"e_1_2_1_25_1","unstructured":"Moses J. \"Symbolic Integration \" Technical Report 47 Project MAC M.I.T. Dec. 1967.  Moses J. \"Symbolic Integration \" Technical Report 47 Project MAC M.I.T. Dec. 1967."},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1086780.1086781"},{"key":"e_1_2_1_27_1","unstructured":"Moses J. \"MACSYMA Primer \" Project MAC M.I.T. 1973.  Moses J. \"MACSYMA Primer \" Project MAC M.I.T. 1973."},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/800192.805698"},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/512927.512931"},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1969-0237477-8"},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/800204.806315"},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/1086814.1086819"},{"key":"e_1_2_1_33_1","unstructured":"Wang P. \"Evaluation of Definite Integrals by Symbolic Manipulation \" Report 92 Project MAC M.I.T. Oct. 1971.   Wang P. \"Evaluation of Definite Integrals by Symbolic Manipulation \" Report 92 Project MAC M.I.T. Oct. 1971."},{"key":"e_1_2_1_34_1","unstructured":"Yun D. Y. Y. \"The Hensel Lemma in Symbolic Manipulation \" Tech. Report Project MAC M.I.T. (to appear).  Yun D. Y. Y. \"The Hensel Lemma in Symbolic Manipulation \" Tech. Report Project MAC M.I.T. (to appear)."},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/1086809.1086811"}],"container-title":["ACM SIGSAM Bulletin"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1086837.1086857","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1086837.1086857","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:08:13Z","timestamp":1750262893000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1086837.1086857"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1974,8]]},"references-count":35,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1974,8]]}},"alternative-id":["10.1145\/1086837.1086857"],"URL":"https:\/\/doi.org\/10.1145\/1086837.1086857","relation":{},"ISSN":["0163-5824"],"issn-type":[{"value":"0163-5824","type":"print"}],"subject":[],"published":{"date-parts":[[1974,8]]},"assertion":[{"value":"1974-08-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}