Hierarchical Representation of Terms from Large Mathematical Corpora

A major goal of the international math community is to obtain tools for the automated processing and transformation of mathematical documents.
These tools do not currently exist in a satisfactory form, and extensive research is oriented towards improving on this.
The {\em Formal Abstracts Project} aims to provide mathematicians with software tools
for stating their research results in a human/machine readable format amenable to formal verification.
In order to achieve this goal, the Formal Abstracts Project has recognized the
need for (1) a comprehensive vocabulary of mathematics, in order to state research results,
and for (2) improved automated reasoning tools
to aid in processing and formally verifying those statements.

Advisor: Dr. Thomas Hales