ADVANCED MATH SEARCH: ISSUES & TECHNIQUES

Outline

Context of our Math Search Project

Short-Term Goals





Where we Are

Sample Queries: understanding math, eq. search & highlighting

Sample Queries: different dialects

Search Modes

Issues Faced

Techniques: for Handling Math Symbols and Structures

Techniques: for Equation Search and Highlighting

Goals for the Longer Term

Examples of Future Query Types

Candidate Syntax

Issues that Need to Be Faced
under C-MathML & XPath/XQuery

Issues to Be Faced
(Contd.)


We Are Barely Scratching the Surface