Article

Search Mathematical Formulas by Mathematical Formulas

Authors:

Proceedings of the Symposium on Human Interface 2009 on ConferenceUniversal Access in Human-Computer Interaction. Part I: Held as Part of HCI International 2009

Pages 404 - 411

https://doi.org/10.1007/978-3-642-02556-3_46

Published: 14 July 2009 Publication History

Abstract

Users cannot search information by mathematical formulas as queries in existing search engines. This is because mathematical formulas are not expressed as a sequence of characters. Some formulas are expressed in a complex structure like fractional numbers and index numbers. We present a search engine for MathML objects using the structure of mathematical formulas. The system makes the inverted indices by using the DOM structure of the MathML object. We proposed three types of index. One type is constructed from some paths of the DOM structure and expressed in XPath. The other type is constructed by encoding the nodes in the same level in DOM structure. The third type is a hybrid method of them. This paper describes the experiment conducted to study the effectiveness of those indices.

References

[1]

Kopka, H., Daly, P.W.: A Guide to LaTeX, 3rd edn. Addison-Wesley, Harlow (1999).

Google Scholar

[2]

W3C: M3C Math Home (1998), http://www.w3.org/math/

Google Scholar

[3]

Nakanishi, T., et al.: An Implementation Method of Composite Association Retrieval System for Data of Mathematical Formulas. DBSJ Letters 4(1) (2005).

Google Scholar

[4]

W3C: M3C DOM Home (1998), http://www.w3.org/dom/

Google Scholar

[5]

W3C: M3C XPath Home (1999), http://www.w3.org/TR/xpath

Google Scholar

[6]

WOLFRAM Research: MATHML CENTRAL (2007), http://www.mathmlcentral.com/

Google Scholar

[7]

NICT: The EDR Electronic Dictionary (1999), http://www2.nict.go.jp/r/r312/EDR/index.html

Google Scholar

[8]

Kohno, H., et al.: Search Engine and Agent. University of Tokyo Press (2002).

Google Scholar

[9]

Kita, K., et al.: Information Retrieval Algorithm. Kyoritsu Publisher (2002).

Google Scholar

Cited By

View all

Hu XGao LLin XTang ZLin XBaker JDownie JMcDonald RCole TSanderson RShipman F(2013)WikiMirsProceedings of the 13th ACM/IEEE-CS joint conference on Digital libraries10.1145/2467696.2467699(11-20)Online publication date: 22-Jul-2013
https://dl.acm.org/doi/10.1145/2467696.2467699
Doush IAlkhateeb FAl Maghayreh EAlnsour AAljawarneh S(2010)Towards meaningful mathematical expressions in e-learningProceedings of the 1st International Conference on Intelligent Semantic Web-Services and Applications10.1145/1874590.1874612(1-5)Online publication date: 14-Jun-2010
https://dl.acm.org/doi/10.1145/1874590.1874612

Recommendations

Mathematical formula information retrieval system

Design and implementation of the system for retrieving information about mathematical formulas – MFIRS. The structure of the system is mainly divided into the modules: input normalization, mathematical formula unification, mathematical formula encoding, ...
Improving the Representation and Conversion of Mathematical Formulae by Considering their Textual Context
JCDL '18: Proceedings of the 18th ACM/IEEE on Joint Conference on Digital Libraries

Mathematical formulae represent complex semantic information in a concise form. Especially in Science, Technology, Engineering, and Mathematics, mathematical formulae are crucial to communicate information, e.g., in scientific papers, and to perform ...
Positive interpolatory quadrature formulas and para-orthogonal polynomials
Special issue: Proceedings of the conference on orthogonal functions and related topics held in honor of Olav Njåstad

We establish a relation between quadrature formulas on the interval [-1,1] that approximate integrals of the form J"@m(F)=@!"-"1^1F(x)@m(x)dx and Szego quadrature formulas on the unit circle that approximate integrals of the form I"@w(f)=@!"-"@p^@pf(e^i^...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

Proceedings of the Symposium on Human Interface 2009 on ConferenceUniversal Access in Human-Computer Interaction. Part I: Held as Part of HCI International 2009

July 2009

724 pages

ISBN:9783642025556

Editors:
Michael J. Smith
Department of Industrial and Systems Engineering, 459 Mechanical Engineering Building, University of Wisconsin, Madison, USA WI 53706
,
Gavriel Salvendy
Purdue University, West Lafayette, USA IN. 47907-2023

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 14 July 2009

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 13 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Hu XGao LLin XTang ZLin XBaker JDownie JMcDonald RCole TSanderson RShipman F(2013)WikiMirsProceedings of the 13th ACM/IEEE-CS joint conference on Digital libraries10.1145/2467696.2467699(11-20)Online publication date: 22-Jul-2013
https://dl.acm.org/doi/10.1145/2467696.2467699
Doush IAlkhateeb FAl Maghayreh EAlnsour AAljawarneh S(2010)Towards meaningful mathematical expressions in e-learningProceedings of the 1st International Conference on Intelligent Semantic Web-Services and Applications10.1145/1874590.1874612(1-5)Online publication date: 14-Jun-2010
https://dl.acm.org/doi/10.1145/1874590.1874612

View Options

View options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

References

Cited By

Recommendations

Mathematical formula information retrieval system

Improving the Representation and Conversion of Mathematical Formulae by Considering their Textual Context

Positive interpolatory quadrature formulas and para-orthogonal polynomials

Comments

Information

Published In

Publisher

Publication History

Author Tags

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations