Advanced Math Search: Issues and Techniques
Monday, April 26, 2004 - 10:30am - 11:00am
Worldwide efforts are underway to create digital libraries of mathematical contents, such as the Digital Library of Mathematical Functions (DLMF) at the National Institute of Standards and Technology. A fundamental goal of such libraries is to enable users to search not only for text, but also for equations. The mature information retrieval (IR) technology is primarily for text contents. When applied to math search, text IR is inadequate because of its inability to understand mathematical symbols and structures. In this talk, we will identify the issues of building an advanced Math search system, and present techniques for addressing those issues. Some of the techniques are based on current text search technology, while others will be based on emerging XML-based technologies. Some of the math search capabilities that we have already for DLMF developed will be demonstrated in the talk.