TOWARDS TREE-BASED SEARCH OF MATHEMATICS
University of Western Ontario
Abstract. A new approach in representing and searching mathematical knowledge is introduced by leveraging well known tree structures. Formulas are represented in trees, and then canonicalization rules are applied striving to make the search independent on different forms of the same formula. An algorithm is proposed, which is capable to match formula trees, appropriately handling commutative and non-commutative nodes.
Полный вариант статьи вы можете заказать за 50 руб.