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