Events Calendar

01 Sep
Dissertation Defense: Luis Alejandro Berlioz
Event Type

Defenses

Topic

Research

Target Audience

Faculty, Graduate Students, Postdocs, Residents & Fellows

University Unit
Department of Mathematics
Subscribe
Google Calendar iCal Outlook

Dissertation Defense: Luis Alejandro Berlioz

This is a past event.

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

Dissertation Defense: Luis Alejandro Berlioz

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

Event Type

Defenses

Topic

Research

University Unit
Department of Mathematics

Powered by the Localist Community Events Calendar ©