
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
Thursday, September 1 at 10:00 a.m. to 1:00 p.m.
Thackeray Hall, 703
139 University Place, Pittsburgh, 15260
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
Thursday, September 1 at 10:00 a.m. to 1:00 p.m.
Thackeray Hall, 703
139 University Place, Pittsburgh, 15260