Technical Aspects of the Digital Library of Mathematical Functions
Annals of Mathematics and Artificial Intelligence
Math information retrieval: user requirements and prototype implementation
Proceedings of the 8th ACM/IEEE-CS joint conference on Digital libraries
An Approach to Mathematical Search Through Query Formulation and Data Normalization
Calculemus '07 / MKM '07 Proceedings of the 14th symposium on Towards Mechanized Mathematical Assistants: 6th International Conference
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
Indexing and searching mathematics in digital libraries: architecture, design and scalability issues
MKM'11 Proceedings of the 18th Calculemus and 10th international conference on Intelligent computer mathematics
A lattice-based approach for mathematical search using Formal Concept Analysis
Expert Systems with Applications: An International Journal
A content based mathematical search engine: whelp
TYPES'04 Proceedings of the 2004 international conference on Types for Proofs and Programs
A search engine for mathematical formulae
AISC'06 Proceedings of the 8th international conference on Artificial Intelligence and Symbolic Computation
A math-aware search engine for math question answering system
Proceedings of the 21st ACM international conference on Information and knowledge management
Hi-index | 0.00 |
Mathematical formulae in structural formats such as MathML and LaTeX are becoming increasingly available. Moreover, repositories and websites, including ArXiv and Wikipedia, and growing numbers of digital libraries use these structural formats to present mathematical formulae. This presents an important new and challenging area of research, namely Mathematical Information Retrieval (MIR). In this paper, we propose WikiMirs, a tool to facilitate mathematical formula retrieval in Wikipedia. WikiMirs is aimed at searching for similar mathematical formulae based upon both textual and spatial similarities, using a new indexing and matching model developed for layout structures. A hierarchical generalization technique is proposed to generate sub-trees from presentation trees of mathematical formulae, and similarity is calculated based upon matching at different levels of these trees. Experimental results show that WikiMirs can efficiently support sub-structure matching and similarity matching of mathematical formulae. Moreover, WikiMirs obtains both higher accuracy and better ranked results over Wikipedia in comparison to Wikipedia Search and Egomath. We conclude that WikiMirs provides a new, alternative, and hopefully better service for users to search mathematical expressions within Wikipedia.