Article

A search engine for mathematical formulae

Authors:

Michael Kohlhase,

Ioan SucanAuthors Info & Claims

AISC'06: Proceedings of the 8th international conference on Artificial Intelligence and Symbolic Computation

Pages 241 - 253

https://doi.org/10.1007/11856290_21

Published: 20 September 2006 Publication History

Abstract

We present a search engine for mathematical formulae. The MathWebSearch system harvests the web for content representations (currently MathML and OpenMath) of formulae and indexes them with substitution tree indexing, a technique originally developed for accessing intermediate results in automated theorem provers. For querying, we present a generic language extension approach that allows constructing queries by minimally annotating existing representations. First experiments show that this architecture results in a scalable application.

References

[1]

Ron Ausbrooks, Stephen Buswell, David Carlisle, et al. Mathematical Markup Language (MathML) version 2.0 (second edition). W3C recommendation, World Wide Web Consortium, 2003. Available at http://www.w3.org/TR/MathML2.

[2]

Andrea Asperti and Matteo Selmi. Efficient retrieval of mathematical statements. In Andrea Asperti, Grzegorz Bancerek, and Andrej Trybulec, editors, Mathematical Knowledge Management, MKM'04, number 3119 in LNCS, pages 1-4. Springer Verlag, 2004.

[3]

Stephen Buswell, Olga Caprotti, David P. Carlisle, Michael C. Dewar, Marc Gaetano, and Michael Kohlhase. The Open Math standard, version 2.0. Technical report, The Open Math Society, 2004. http://www.openmath.org/standard/om20.

[4]

Creative Commons. Web page at http://creativecommons.org.

[5]

Free Software Foundation FSF. Gnu general public license. Software License available at http://www.gnu.org/copyleft/gpl.html, 1991.

[6]

Paul Grosso, Eve Maler, Jonathan Marsh, and Norman Walsh. Xpointer framework. W3c recommendation, World Wide Web Constortium W3C, 25 March 2003.

[7]

Peter Graf. Term Indexing. Number 1053 in LNCS. Springer Verlag, 1996.

Digital Library

[8]

Sandy Huerter, Igor Rodionov, and Stephen Watt. Content-faithful transformations for mathml. In Second International Conference on MathML and Technologies for Math on the Web, Chicago, USA, 2002. http://www.mathmlconference.org/2002/presentations/huerter/.

[9]

Tetsuo Ida, Jacques Calmet, and Dongming Wang, editors. Proceedings of Artificial Intelligence and Symbolic Computation, AISC'2006, number 4120 in LNAI. Springer Verlag, 2006.

[10]

Michael Kohlhase and Andreas Franke. MBase: Representing knowledge and context for the integration of mathematical software systems. Journal of Symbolic Computation; Special Issue on the Integration of Computer algebra and Deduction Systems, 32(4):365-402, September 2001.

Digital Library

[11]

Andrea Kohlhase and Michael Kohlhase. Communities of practice in MKM: An extensional model. In Jon Borwein and William M. Farmer, editors, Mathematical Knowledge Management, MKM'06, number 4108 in LNAI. Springer Verlag, 2006.

Digital Library

[12]

Michael Kohlhase. OMDoc An open markup format for mathematical documents (Version 1.2). Number 4180 in LNAI. Springer Verlag, 2006. in press http://www.mathweb.org/omdoc/pubs/omdoc1.2.pdf.

Digital Library

[13]

Paul Libbrecht and Erica Melis. Methods for access and retrieval of mathematical content in ACTIVEMATH. In N. Takayama and A. Iglesias, editors, Proceedings of ICMS-2006, number 4151 in LNAI. Springer Verlag, 2006. forthcoming.

Digital Library

[14]

Math web search. Web page at http://kwarc.eecs.iu-bremen.de/ projects/mws/, seen July 2006.

[15]

Erica Melis, Jochen Büdenbender, George Goguadze, Paul Libbrecht, and Carsten Ullrich. Knowledge representation and management in ACTIVEMATH. Annals of Mathematics and Artificial Intelligence, 38:47-64, 2003. see http://www.activemath.org.

Digital Library

[16]

B. Miller and A. Youssef. Technical aspects of the digital library of mathematical functions. Annals of Mathematics and Artificial Intelligence, 38(1-3):121-136, 2003.

Digital Library

[17]

Immanuel Normann. Enhanced theorem reuse by partial theory inclusionss. In Ida et al. {ICW06}.

[18]

Immanuel Normann. Extended normalization for e-retrieval of formulae. to appear in the proceedings of Communicating Mathematics in the Digital Era, 2006.

[19]

The open archives initiative protocol for metadata harvesting, June 2002. Available at http://www.openarchives.org/OAI/ openarchivesprotocol.html.

[20]

Frank Theiß, Volker Sorge, and Martin Pollet. Interfacing to computer algebra via term indexing. In Silvio Ranise and Roberto Sebastiani, editors, CALCULEMUS-2006, 2006.

[21]

Stephen Wolfram. The Mathematica Book. Cambridge University Press, 2002.

Digital Library

Cited By

Jiang ZGao LYuan KGao ZTang ZLiu XCuzzocrea AAllan JPaton NSrivastava DAgrawal RBroder AZaki MCandan SLabrinidis ASchuster AWang H(2018)Mathematics Content Understanding for Cyberlearning via Formula Evolution MapProceedings of the 27th ACM International Conference on Information and Knowledge Management10.1145/3269206.3271694(37-46)Online publication date: 17-Oct-2018
https://dl.acm.org/doi/10.1145/3269206.3271694
Rabe F(2018)A Modular Type Reconstruction AlgorithmACM Transactions on Computational Logic10.1145/323469319:4(1-43)Online publication date: 8-Dec-2018
https://dl.acm.org/doi/10.1145/3234693
Suzuki TFujii AMcDonald RWorby NJatowt AMarshall CMilligan I(2017)Mathematical document categorization with structure of mathematical expressionsProceedings of the 17th ACM/IEEE Joint Conference on Digital Libraries10.5555/3200334.3200348(119-128)Online publication date: 19-Jun-2017
https://dl.acm.org/doi/10.5555/3200334.3200348
Show More Cited By

Index Terms

A search engine for mathematical formulae
1. Information systems
  1. Information retrieval

Index terms have been assigned to the content through auto-classification.

Recommendations

Google Search Engine: Seo Tools You Need to Explode Your Website Traffic - Google Seo, Google Ranking
Search Mathematical Formulas by Mathematical Formulas
Proceedings of the Symposium on Human Interface 2009 on ConferenceUniversal Access in Human-Computer Interaction. Part I: Held as Part of HCI International 2009

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 ...
Brilliant Search Engine Optimisation

Comments

Information & Contributors

Information

Published In

cover image Guide Proceedings

AISC'06: Proceedings of the 8th international conference on Artificial Intelligence and Symbolic Computation

September 2006

269 pages

ISBN:3540397280

Editors:
Jacques Calmet
Institut für Algorithmen und Kognitive Systeme, Universität Karlsruhe, Karlsruhe, Germany
,
Tetsuo Ida
Department of Computer Science, University of Tsukuba, Tsukuba, Japan
,
Dongming Wang
LMIB - SKLSDE - School of Science, Beihang University, Beijing, China

Sponsors

State Key Laboratory of Software Development Environment: State Key Laboratory of Software Development Environment
Key Laboratory of Mathematics: Key Laboratory of Mathematics
Ministry of Education of China: Ministry of Education of China

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 20 September 2006

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

31
Total Citations
View Citations
0
Total Downloads

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

Reflects downloads up to 21 Sep 2024

Other Metrics

View Author Metrics

Citations

Cited By

Jiang ZGao LYuan KGao ZTang ZLiu XCuzzocrea AAllan JPaton NSrivastava DAgrawal RBroder AZaki MCandan SLabrinidis ASchuster AWang H(2018)Mathematics Content Understanding for Cyberlearning via Formula Evolution MapProceedings of the 27th ACM International Conference on Information and Knowledge Management10.1145/3269206.3271694(37-46)Online publication date: 17-Oct-2018
https://dl.acm.org/doi/10.1145/3269206.3271694
Rabe F(2018)A Modular Type Reconstruction AlgorithmACM Transactions on Computational Logic10.1145/323469319:4(1-43)Online publication date: 8-Dec-2018
https://dl.acm.org/doi/10.1145/3234693
Suzuki TFujii AMcDonald RWorby NJatowt AMarshall CMilligan I(2017)Mathematical document categorization with structure of mathematical expressionsProceedings of the 17th ACM/IEEE Joint Conference on Digital Libraries10.5555/3200334.3200348(119-128)Online publication date: 19-Jun-2017
https://dl.acm.org/doi/10.5555/3200334.3200348
Kristianto GAizawa A(2017)Linking Mathematical Expressions to WikipediaProceedings of the 1st Workshop on Scholarly Web Mining10.1145/3057148.3057156(57-64)Online publication date: 10-Feb-2017
https://dl.acm.org/doi/10.1145/3057148.3057156
Kohlhase MMüller DOwre SRabe F(2017)Making PVS Accessible to Generic Services by Interpretation in a Universal FormatInteractive Theorem Proving10.1007/978-3-319-66107-0_21(319-335)Online publication date: 26-Sep-2017
https://dl.acm.org/doi/10.1007/978-3-319-66107-0_21
Zanibbi RDavila KKane ATompa FPerego RSebastiani FAslam JRuthven IZobel J(2016)Multi-Stage Math Formula SearchProceedings of the 39th International ACM SIGIR conference on Research and Development in Information Retrieval10.1145/2911451.2911512(145-154)Online publication date: 7-Jul-2016
https://dl.acm.org/doi/10.1145/2911451.2911512
Schubotz MGrigorev ALeich MCohl HMeuschke NGipp BYoussef AMarkl VPerego RSebastiani FAslam JRuthven IZobel J(2016)Semantification of Identifiers in Mathematics for Better Math Information RetrievalProceedings of the 39th International ACM SIGIR conference on Research and Development in Information Retrieval10.1145/2911451.2911503(135-144)Online publication date: 7-Jul-2016
https://dl.acm.org/doi/10.1145/2911451.2911503
Ferré S(2016)An RDF Design Pattern for the Structural Representation and Querying of ExpressionsKnowledge Engineering and Knowledge Management10.1007/978-3-319-49004-5_13(196-211)Online publication date: 19-Nov-2016
https://dl.acm.org/doi/10.1007/978-3-319-49004-5_13
Wang YGao LWang STang ZLiu XYuan KBogen PAllard SMercer HBeck MCunningham SGoh DHenry G(2015)WikiMirs 3.0Proceedings of the 15th ACM/IEEE-CS Joint Conference on Digital Libraries10.1145/2756406.2756918(173-182)Online publication date: 21-Jun-2015
https://dl.acm.org/doi/10.1145/2756406.2756918
Chien PCheng PGangemi ALeonardi SPanconesi A(2015)Semantic Tagging of Mathematical ExpressionsProceedings of the 24th International Conference on World Wide Web10.1145/2736277.2741108(195-204)Online publication date: 18-May-2015
https://dl.acm.org/doi/10.1145/2736277.2741108
Show More Cited By

View Options

View options

Media

Figures

Other

Tables

View Table of Contents