Link to the University of Pittsburgh Homepage
Link to the University Library System Homepage Link to the Contact Us Form

Hierarchical Representations From Large Mathematical Corpora

Berlioz, Luis (2023) Hierarchical Representations From Large Mathematical Corpora. Doctoral Dissertation, University of Pittsburgh. (Unpublished)

Download (2MB) | Preview


A major goal of the international math community is to obtain tools for the au-
tomated 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 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.


Social Networking:
Share |


Item Type: University of Pittsburgh ETD
Status: Unpublished
CreatorsEmailPitt UsernameORCID
Berlioz, Luislab232@pitt.edulab2320000-0003-0832-2007
ETD Committee:
TitleMemberEmail AddressPitt UsernameORCID
Committee ChairHales, Thomashales@pitt.eduhales
DeBlois, Jasonjdeblois@pitt.edujdeblois
Date: 25 January 2023
Date Type: Publication
Defense Date: 1 September 2022
Approval Date: 25 January 2023
Submission Date: 8 September 2022
Access Restriction: No restriction; Release the ETD for access worldwide immediately.
Number of Pages: 176
Institution: University of Pittsburgh
Schools and Programs: Dietrich School of Arts and Sciences > Mathematics
Degree: PhD - Doctor of Philosophy
Thesis Type: Doctoral Dissertation
Refereed: Yes
Uncontrolled Keywords: Hierarchical representations, word embeddings, hyperbolic geometry
Date Deposited: 25 Jan 2023 14:22
Last Modified: 25 Jan 2023 14:22


Monthly Views for the past 3 years

Plum Analytics

Actions (login required)

View Item View Item