Outline
n
Context of our Math Search Project
n
The Project’s Short-Term Goals
n
Where we are: A Demo
n
Issues faced
n
Goals and Issues for the Longer Term