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