A method of adding an attribute into MathML for formula retrieval

Towards the needs of retrieving mathematical formulas, this paper details the semantic descriptors of MathML by utilizing the extensibility of XML and the characteristics of mathematical formulas through the analysis of the existing mathematical formula marking languages. We define a description attribute on the basis of MathML for conversion and retrieval of mathematical formulas in various formats, and also realize the conversion between the extended MathML and LaTeX. Experiments show that this method can strengthen the capability to describe the semantic information of formulas and improve the precision and efficiency of conversion and retrieval of mathematical formulas.

[1]  Stephen M. Watt,et al.  Mathematical Markup Language (MathML) Version 3.0 , 2001, WWW 2001.

[2]  Stephen M. Watt.  Conserving Implicit Mathematical Semantics in Conversion between TEX and MathML , 2003 .

[3]  Andrea Asperti,et al.  Efficient Retrieval of Mathematical Statements , 2004, MKM.

[4]  Abdou Youssef,et al.  Search of Mathematical Contents: Issues And Methods , 2005, IASSE.

[5]  Stephen M. Watt,et al.  Generating T E X from mathematical content with respect to notational settings , 2006 .

[6]  Michael Kohlhase,et al.  A Search Engine for Mathematical Formulae , 2006, AISC.

[7]  Rajesh Munavalli,et al.  An Approach to Mathematical Search Through Query Formulation and Data Normalization , 2007, Calculemus/MKM.

[8]  Yoshinori Miyazaki,et al.  Development of information-retrieval tool for MathML-based math expressions , 2008 .

[9]  Liao Zhao-cun,et al.  The Design and Implementation of Web-based Formula Retrieval System , 2008 .

[10]  Jozef Mišutka,et al.  Extending Full Text Search Engine for Mathematical Content , 2008 .

[11]  Hideki Hashimoto,et al.  Search Mathematical Formulas by Mathematical Formulas , 2009, HCI.

[12]  Frank Wm. Tompa,et al.  Improving Mathematics Retrieval , 2009 .

[13]  Iyad Abu Doush,et al.  Towards meaningful mathematical expressions in e-learning , 2010, ISWSA '10.

[14]  Fu Hong-guang,et al.  Research and implementation of Internet mathematical formula search engine based on Latex , 2010 .

[15]  Wei-xing Wang,et al.  Design and implementation of communication platform over WLAN based on SIP protocol: Design and implementation of communication platform over WLAN based on SIP protocol , 2010 .

[16]  Hui Siu Cheung,et al.  Mathematical Retrieval Techniques for Online Mathematics Learning , 2011 .