The user-level semantic matching capability in MACSYMA
SYMSAC '71 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation
Pattern matching algebraic identities
ACM SIGSAM Bulletin
IEEE Transactions on Knowledge and Data Engineering
YACAS: A Do-It-Yourself Symbolic Algebra Environment
AISC '02/Calculemus '02 Proceedings of the Joint International Conferences on Artificial Intelligence, Automated Reasoning, and Symbolic Computation
Hi-index | 0.00 |