A Search Engine for Mathematical Formulae

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.

[1]  Michael Kohlhase,et al.  MBase: Representing Knowledge and Context for the Integration of Mathematical Software Systems , 2001, J. Symb. Comput..

[2]  Volker Sorge,et al.  Interfacing to Computer Algebra via Term Indexing , 2006 .

[3]  Michael Kohlhase,et al.  Communities of Practice in MKM: An Extensional Model , 2006, MKM.

[4]  Michael Kohlhase,et al.  MathDox : mathematical documents on the web , 2006 .

[5]  Jonathan M. Borwein,et al.  Communicating Mathematics in the Digital Era , 2008 .

[6]  Immanuel Normann,et al.  Enhanced Theorem Reuse by Partial Theory Inclusions , 2006, AISC.

[7]  Stephen M. Watt,et al.  Content-Faithful Transformations for MathML , 2002 .

[8]  Michael Kohlhase,et al.  OMDoc - An Open Markup Format for Mathematical Documents [version 1.2] , 2006, Lecture Notes in Computer Science.

[9]  Andrés Iglesias,et al.  Mathematical Software - ICMS 2006, Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006, Proceedings , 2006, ICMS.

[10]  Bruce R. Miller,et al.  Technical Aspects of the Digital Library of Mathematical Functions , 2003, Annals of Mathematics and Artificial Intelligence.

[11]  Paul Libbrecht,et al.  Knowledge Representation and Management in ACTIVEMATH , 2004, Annals of Mathematics and Artificial Intelligence.

[12]  Stephen Wolfram,et al.  The Mathematica Book , 1996 .

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

[14]  Peter Graf,et al.  Term Indexing , 1996, Lecture Notes in Computer Science.

[15]  Wang Jun.  Open Archives Initiative Protocol for Metadata Harvesting , 2005 .

[16]  Paul Libbrecht,et al.  Methods to Access and Retrieve Mathematical Content in ActiveMath , 2006, ICMS.