"Semantic matching for computer algebra" - читать интересную книгу автора (Cooperman.)