A Mathematical Formula Matching Algorithm Based on MathML
Yuping Qin, Junnan Guo, Aihua Zhang · Advances in intelligent systems research/Advances in Intelligent Systems Research · 2015
A mathematical formula matching algorithm is proposed.Firstly, this paper creates the tree presentation of the mathematical formula by its MathML presentation markup, normalizes the tree structure by rule base, and then horizontally traverses the tree to normalize the variable names to get the structure code.To match two mathematical formulas, this paper compares the structure codes, preorders traversal sequences and postorder traversal sequences in turn, if they all are equal respectively, then the two mathematical formulas are matching.The experimental results show that the algorithm is not only suitable for the matching that the mathematical formulas are same structure, but also for the matching that the mathematical formulas are same semantic, and the accuracy is high.Therefore, it is a more practical algorithm.