Berlioz, Luis
(2023)
Hierarchical Representations From Large Mathematical Corpora.
Doctoral Dissertation, University of Pittsburgh.
(Unpublished)
Abstract
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.
Share
| Citation/Export: |
|
| Social Networking: |
|
Details
| Item Type: |
University of Pittsburgh ETD
|
| Status: |
Unpublished |
| Creators/Authors: |
|
| ETD Committee: |
|
| 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 |
| URI: |
http://d-scholarship.pitt.edu/id/eprint/43650 |
Metrics
Monthly Views for the past 3 years
Plum Analytics
Actions (login required)
 |
View Item |
![[feed]](/images/feed-icon-32x32.png){kind=icon}