An annotated corpus and a grammar model of theorem description (1980)
| Venue: | In [MKM03], 2003. [GHK + 80 |
| Citations: | 1 - 0 self |
BibTeX
@INPROCEEDINGS{Baba80anannotated,
author = {Yusuke Baba and Masakazu Suzuki},
title = {An annotated corpus and a grammar model of theorem description},
booktitle = {In [MKM03], 2003. [GHK + 80},
year = {1980},
publisher = {Springer-Verlag}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Abstract. Digitizing documents is becoming increasingly popular in various fields, and training computers to understand the contents of digitized documents is of growing interest. Since the early 90’s, research of natural language processing using large annotated corpora such as the Penn TreeBank has developed. Applying the methods of corpus-based research, we built a syntactically annotated corpus of theorem descriptions, using a book of set theory, and extracted a grammar model of theorems from the obtained corpus, as the first step to understanding mathematical documents by computer. 1
Citations
| 448 | Model Theory - Hodges - 1993 |
| 66 | A Corpus-based Probabilistic Grammar with Only Two Non-terminals - Sekine, Grishman - 1995 |
| 13 | Mathematical formula recognition using virtual link network - Eto, Suzuki |
| 5 | et al. Building a large annotated corpus of english: the penn treebank - Marcus - 1993 |
| 5 | Sets, Logic and Categories - Cameron - 1999 |
| 4 | Optical recognition of printed mathematical documents - Inoue, Miyazaki, et al. - 1998 |
| 1 | A prototype of a combined digital and retrodigitaized searchable mathematical journal - Michler - 1999 |
| 1 | Report on the retrodigitiization project “Archiv der Mathemark”. Archiv der Mathemark - Michler |
