The MACSYMA system

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

The MACSYMA system

Full text

Pdf (1.72 MB)

Source

Symposium on Symbolic and Algebraic Manipulation archive
Proceedings of the second ACM symposium on Symbolic and algebraic manipulation table of contents

Los Angeles, California, United States

Pages: 59 - 75

Year of Publication: 1971

Authors

W. A. Martin
R. J. Fateman

Sponsors

SIGNUM: ACM Special Interest Group on Numerical Mathematics
SIGART: ACM Special Interest Group on Artificial Intelligence
SIAM : Society for Industrial and Applied Mathematics
SIGPLAN: ACM Special Interest Group on Programming Languages
SIGSAM: ACM Special Interest Group on Symbolic and Algebraic Manipulation

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 3, Downloads (12 Months): 23, Citation Count: 23

Additional Information:

abstract references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/800204.806267 What is a DOI?

ABSTRACT

MACSYMA is a system for symbolic manipulation of algebraic expressions which is being developed at Project MAC, M.I.T. This paper discusses its philosophy, goals, and current achievements. MACSYMA makes extensive use of the power of its rational function subsystem. The facilities derived from this are discussed in considerable detail.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Engelman, C., "MATHLAB 68," in A. J. H. Morrell (Ed.) Information Processing 68, North-Holland, Amsterdam, 1969, pp. 462-467.
	2	Richard J. Fateman, The user-level semantic matching capability in MACSYMA, Proceedings of the second ACM symposium on Symbolic and algebraic manipulation, p.311-323, March 23-25, 1971, Los Angeles, California, United States [doi>10.1145/800204.806300]
	3	Fateman, R., "Essays in Algebraic Manipulation," doctoral dissertation, Harvard University, Div. of Engineering and Appl. Physics, 1971.
	4	A. Hearn, "The Problem of Substitution," Stanford Artificial Intelligence Report, Memo No. AI-70, Stanford University, Stanford Calif., Dec., 1968. (Also appears in Proceedings of the 1968 Summer Institute on Symbolic Mathematical Computation, R. Tobey, editor, IBM Boston Programming Center, 69 Cambridge, Mass., pp. 3-19, 1969.)
	5	William A. Martin, Computer input/output of mathematical expressions, Proceedings of the second ACM symposium on Symbolic and algebraic manipulation, p.78-89, March 23-25, 1971, Los Angeles, California, United States [doi>10.1145/800204.806270]
	6	Martin, W.A., "Symbolic Mathematical Laboratory," doctoral dissertation, M.I.T., E. E. Dep't, 1967.
	7	Joel Moses, Symbolic integration the stormy decade, Proceedings of the second ACM symposium on Symbolic and algebraic manipulation, p.427-440, March 23-25, 1971, Los Angeles, California, United States [doi>10.1145/800204.806313]
	8	Joel Moses, Algebraic simplification a guide for the perplexed, Proceedings of the second ACM symposium on Symbolic and algebraic manipulation, p.282-304, March 23-25, 1971, Los Angeles, California, United States [doi>10.1145/800204.806298]
	9	Moses, J., "Symbolic Integration," doctoral dissertation, M. I. T., Math Dep't, 1967.
	10	Thwaites, B., "1984: Mathematics <@@@@> Computers?" Presidential Address to the Institute of Mathematics and its Applications, Bull. I. M. A. Dec. 1967.
	11	Paul S. Wang, Automatic computation of limits, Proceedings of the second ACM symposium on Symbolic and algebraic manipulation, p.458-464, March 23-25, 1971, Los Angeles, California, United States [doi>10.1145/800204.806315]

CITED BY 23

	C. V. Ramamoorthy , F. B. Bastani , J. M. Favaro , Y. R. Mok , C. W. Nam , K. Suzuki, A systematic approach to the development and validation of critical software for nuclear power plants, Proceedings of the 4th international conference on Software engineering, p.231-240, September 17-19, 1979, Munich, Germany
	John V. Guttag , Ellis Horowitz , David R. Musser, The design of data type specifications, Proceedings of the 2nd international conference on Software engineering, p.414-420, October 13-15, 1976, San Francisco, California, United States
	Robert G. Tobey, Symbolic mathematical computation—introduction and overview, Proceedings of the second ACM symposium on Symbolic and algebraic manipulation, p.1-16, March 23-25, 1971, Los Angeles, California, United States
	Paul S. Wang, Application of MACSYMA to an asymptotic expansion problem, Proceedings of the ACM annual conference, p.844-850, August 01-01, 1972, Boston, Massachusetts, United States
	J. M. Yohe, An Overview of Programming Practices, ACM Computing Surveys (CSUR), v.6 n.4, p.221-245, Dec. 1974
	Richard J. Fateman, The user-level semantic matching capability in MACSYMA, Proceedings of the second ACM symposium on Symbolic and algebraic manipulation, p.311-323, March 23-25, 1971, Los Angeles, California, United States
	Anthony C. Hearn , Rüdiger G. K. Loos, Extended polynomial algorithms, Proceedings of the annual conference, p.147-152, August 27-29, 1973, Atlanta, Georgia, United States
	Paul S. Wang, Automatic computation of limits, Proceedings of the second ACM symposium on Symbolic and algebraic manipulation, p.458-464, March 23-25, 1971, Los Angeles, California, United States
	Joel Moses, Algebraic simplification: a guide for the perplexed, Communications of the ACM, v.14 n.8, p.527-537, Aug. 1971
	Jean E. Sammet, The beginning and development of FORMAC (FORmula MAnipulation Compiler), ACM SIGPLAN Notices, v.28 n.3, p.209-230, March 1993
	B. F. Caviness , R. J. Fateman, Simplification of radical expressions, Proceedings of the third ACM symposium on Symbolic and algebraic computation, p.329-338, August 10-12, 1976, Yorktown Heights, New York, United States
	Joel Moses, Algebraic simplification a guide for the perplexed, Proceedings of the second ACM symposium on Symbolic and algebraic manipulation, p.282-304, March 23-25, 1971, Los Angeles, California, United States
	I Al-Ani , Roger E Cooley , Elias M Awad, From decision support to expert systems, Proceedings of the conference on The 1987 ACM SIGBDP-SIGCPR Conference, p.10-19, March 05-06, 1987, Coral Gables, Florida, United States
	Alfonso Miola, The use of symbolic computation in solving free boundary problems by the Ritz-Galerkin method, ACM SIGSAM Bulletin, v.8 n.3, p.103-104, August 1974
	Jean E. Sammet, The beginning and development of FORMAC: FORmula MAnipulation Compiler, History of programming languages---II, ACM Press, New York, NY, 1996
	Joel Moses, MACSYMA - the fifth year, ACM SIGSAM Bulletin, v.8 n.3, p.105-110, August 1974
	Rüdiger Loos, Algebraic algorithm descriptions as programs, ACM SIGSAM Bulletin
	Paul S. Wang , L. Preiss Rothschild, Factoring multivariate polynomials over the integers, ACM SIGSAM Bulletin
	Richard J. Fateman, Rationally simplifying non-rational expressions, ACM SIGSAM Bulletin
	Richard Fateman , Alan Bundy , Richard O'Keefe , Leon Sterling, Commentary on: solving symbolic equations with PRESS, ACM SIGSAM Bulletin, v.22 n.2, p.27-40, April 1988
	Richard D. Jenks , Barry M. Trager, How to make AXIOM into a scratchpad, Proceedings of the international symposium on Symbolic and algebraic computation, p.32-40, July 20-22, 1994, Oxford, United Kingdom
	Sanjaya Addanki , Roberto Cremonini , J. Scott Penberthy, Reasoning about assumptions in graphs of models, Proceedings of the 11th international joint conference on Artificial intelligence, p.1432-1438, August 20-25, 1989, Detroit, Michigan
	Peter M. Neely, On the need for a scientific programming language, Proceedings of the 1974 annual ACM conference, January 01-01, 1974