An Annotated Corpus and a Grammar Model of Theorem Description
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.
KeywordsNoun Phrase Natural Language Processing Sentence Structure Original Category Annotate Corpus
Unable to display preview. Download preview PDF.
- 1.Inoue, K., Miyazaki, R., Suzuki, M.: Optical Recognition of Printed Mathematical Documents. Proceedings of the Third Asian Technology Conference in Mathematics. Springer-Verlag. (1998) 280–289Google Scholar
- 2.Eto, Y., Suzuki, M.: Mathematical Formula Recognition Using Virtual Link Network. Proceedings of the Sixth International Conference on Document Analysis and Recognition. Seattle. IEEE Computer Society Press. (2001) 430–437Google Scholar
- 3.Michler, G.: A prototype of a combined digital and retrodigitaized searchable mathematical journal. Lecture Notes in Control and Infomation Sciences. 249 (1999) 219–235Google Scholar
- 7.Marcus, M., et al.: Building a large annotated corpus of English:the Penn Tree-Bank. In the distributed Penn TreeBank Project CD-ROM. Linguistic Data Consortium. University of PennsylvaniaGoogle Scholar
- 8.Sekine, S., Grishman, R.: A Corpus-based Probabilistic Grammar with Only Two Non-terminals. Fourth International Workshop on Parsing Technology. (1995)Google Scholar
- 10.J Cameron, P.: Sets, Logic and Categories. Springer. (1999)Google Scholar
- 11.Rotman, J.: Galois theory(2nd ed.). Springer. (1998)Google Scholar
- 12.Hodges, W.: A shorter model theory. Cambridge University Press. (1997)Google Scholar