139 University Place, Pittsburgh, 15260

View map

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

Event Details

Please let us know if you require an accommodation in order to participate in this event. Accommodations may include live captioning, ASL interpreters, and/or captioned media and accessible documents from recorded events. At least 5 days in advance is recommended.

University of Pittsburgh Powered by the Localist Community Event Platform © All rights reserved