Academia.eduAcademia.edu

Outline

The user-level semantic matching capability in MACSYMA

1971, Proceedings of the second ACM symposium on Symbolic and algebraic manipulation - SYMSAC '71

https://doi.org/10.1145/800204.806300

Abstract
sparkles

AI

The paper presents the pattern matching facility of MACSYMA, an algebraic manipulation system, emphasizing its capability to recognize diverse algebraic expressions as instances of the same semantic pattern. Specific examples illustrate how this recognition enhances simplification rules and aids in solving differential equations. The study also compares the implementation and matching strategies of MACSYMA with other systems that possess similar capabilities.