Proceedings of the International Conference on Logistics, Engineering, Management and Computer Science

A Mathematical Formula Matching Algorithm Based on MathML

Authors
Yuping Qin, Junnan Guo, Aihua Zhang
Corresponding Author
Yuping Qin
Available Online July 2015.
DOI
10.2991/lemcs-15.2015.339How to use a DOI?
Keywords
Mathematical formula; Matching; MathML; Tree; Structure code
Abstract

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.

Copyright
© 2015, the Authors. Published by Atlantis Press.
Open Access
This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Download article (PDF)

Volume Title
Proceedings of the International Conference on Logistics, Engineering, Management and Computer Science
Series
Advances in Intelligent Systems Research
Publication Date
July 2015
ISBN
978-94-6252-102-5
ISSN
1951-6851
DOI
10.2991/lemcs-15.2015.339How to use a DOI?
Copyright
© 2015, the Authors. Published by Atlantis Press.
Open Access
This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Cite this article

TY  - CONF
AU  - Yuping Qin
AU  - Junnan Guo
AU  - Aihua Zhang
PY  - 2015/07
DA  - 2015/07
TI  - A Mathematical Formula Matching Algorithm Based on MathML
BT  - Proceedings of the International Conference on Logistics, Engineering, Management and Computer Science
PB  - Atlantis Press
SP  - 1681
EP  - 1684
SN  - 1951-6851
UR  - https://doi.org/10.2991/lemcs-15.2015.339
DO  - 10.2991/lemcs-15.2015.339
ID  - Qin2015/07
ER  -