The user-level semantic matching capability in MACSYMA

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

Volumn , Issue , 1971, Pages 311-323

  Fateman, Richard J ^a  

^a HARVARD UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DIFFERENTIAL EQUATIONS; PATTERN MATCHING; SEMANTICS;

ALGEBRAIC EXPRESSION; ALGEBRAIC MANIPULATIONS; SEMANTIC MATCHING; SEMANTIC PATTERN; SEMANTIC PROPERTIES; SIMPLIFICATION RULES; USER LEVELS;

ALGEBRA;

EID: 84976756028     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/800204.806300     Document Type: Conference Paper

References (17)

1. Carraciolo di Forino, A. et al, "PANON-IB -- A Programming Language for Symbol Manipulation," University of Pisa, Italy, 1966.
2. Christensen, C. "Examples of symbol manipulation in the AMBIT programming language," Proc. ACM 20th National Conference, Cleveland, Ohio, 1965. 247-261.
3. Farber, D. et al, SNOBOL, A String Manipulation Language, JACM 11, (1964), 21-30.
4. Fateman, R., "Essays in Algebraic Manipulation," doctoral dissertation, Harvard University, 1971.
5. Fenichel, R. "An On-Line System for Algebraic Manipulation," doctoral dissertation, Harvard University, July 1966, also appeared as Report MAC-TR-35, Project MAC, MIT, Cambridge, Mass., Dec., 1966).
6. Hearn, A. "REDUCE, a Program for Symbolic Algebraic Computation," invited paper presented at SHARE XXXIV, Denver, Colorado, March, 1970.
7. --. "REDUCE Users' Manual," Stanford Artificial Intelligence Project, Memo 50, Stanford University, Stanford, Calif., Feb., 1967.
8. --. "The Problem of Substitution," Stanford Artificial Intelligence Report, Memo No. AI-70, Stanford University, Stanford Calif. Dec., 1968.
9. Also appears in Proceedings of the 1968 Summer Institute on Symbolic Mathematical Computation, R. Tobey, editor, IBM Boston Programming Center, Cambridge, Mass.,1969, 3-19.
10. Itturiaga, R. "Contributions to Mechanical Mathematics," doctoral dissertation, Carnegie-Mellon University, Pittsburgh, Pa., April, 1967.
11. Martin, W., and Fateman, R. "The MACSYMA System," these proceedings.
12. Moses, J. "Symbolic Integration," (SIN) doctoral dissertation, MIT, 1967 (also appeared as Report MAC-TR-47, Project MAC, MIT, Cambridge, Mass., Dec. ,1967; now available from· the Clearinghouse, document AD-662-666.
13. Also see, --. "Symbolic Integration - the Stormy Decade," these proceedings.
14. Perlis, A., Itturiaga, R,, Standish, T. "A Definition of Formula Algol," a paper presented at the [first] Symposium on Symbolic and Algebraic Manipulation of the ACM, Wash., D.c., March, 1966.
15. Slagle, J. "A Heuristic Program that Solves Symbolic Integration Problems in Freshman Calculus, Symbolic Automatic Integrator (SAINT)," doctoral dissertation, MIT, 1961
16. a paper based on this thesis appears in Computers and Thought, McGraw-Hill, New York, 1963.
17. Teitelman, W, "PILOT: A Step Toward Man-Computer Symbiosis," doctoral dissertation, MIT, Sept., 1966, (Also appeared as MAC-TR-32, Project MAC, MIT, Cambridge, Mass., Sept., 1966, now available from the Clearinghouse, document AD-645-660.)