The MACSYMA system

Proceedings of the 2nd ACM Symposium on Symbolic and Algebraic Manipulation, SYMSAC 1971

Volumn , Issue , 1971, Pages 59-75

  Martin, W A ^a   Fateman, R J ^a  

^a HARVARD UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

C (PROGRAMMING LANGUAGE); PATTERN MATCHING; RATIONAL FUNCTIONS;

ALGEBRAIC EXPRESSION; ALGEBRAIC MANIPULATIONS; LIMIT CALCULATIONS; SYMBOLIC INTEGRATION; SYMBOLIC MANIPULATION; USER LEVELS;

ALGEBRA;

EID: 85012788829     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/800204.806267     Document Type: Conference Paper

References (12)

1. Engelman, C., "MATHLAB 68," in A. J. H. Morrell (Ed.) Information Processing 68, North-Holland, Amsterdam, 1969, pp. 462-467.
2. Fateman, R., "The User-level Semantic Matching Capability in MACSYMA," these proceedings.
3. --- "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.
5. Also appears in Proceedings of the 1968 Summer Institute on Symbolic Mathematical Computation, R. Tobey, editor, IBM Boston Programming Center, Cambridge, Mass., pp. 3-19, 1969.
6. Martin, W. A., "Computer Input/Output of Mathematical Expressions," these proceedings.
7. --- "Symbolic Mathematical Laboratory," doctoral dissertation, M.I.T., E. E. Dep't, 1967.
8. Moses, J., "Symbolic Integration: The Stormy Decade," these proceedings.
9. --- "Algebraic Simplification: A Guide for the Perplexed," these proceedings.
10. --- "Symbolic Integration," doctoral dissertation, M. I. T., Math Dep't, 1967.
11. Thwaites, B., "1984: Mathematics <==> Computers?" Presidential Address to the Institute of Mathematics and its Applications, Bull. I. M. A., Dec. 1967.
12. Wang, P.,"Automatic Calculation of Limits," these proceedings.