An Annotated Corpus and a Grammar Model of Theorem Description

  • Yusuke Baba
  • Masakazu Suzuki
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2594)


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.


Noun Phrase Natural Language Processing Sentence Structure Original Category Annotate Corpus 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 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. 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. 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
  4. 4.
    Michler, G.: Report on the retrodigitiization project “Archiv der Mathemark”. Archiv der Mathemark. 77 (2001) 116–128zbMATHGoogle Scholar
  5. 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
  6. 8.
    Sekine, S., Grishman, R.: A Corpus-based Probabilistic Grammar with Only Two Non-terminals. Fourth International Workshop on Parsing Technology. (1995)Google Scholar
  7. 10.
    J Cameron, P.: Sets, Logic and Categories. Springer. (1999)Google Scholar
  8. 11.
    Rotman, J.: Galois theory(2nd ed.). Springer. (1998)Google Scholar
  9. 12.
    Hodges, W.: A shorter model theory. Cambridge University Press. (1997)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2003

Authors and Affiliations

  • Yusuke Baba
    • 1
  • Masakazu Suzuki
    • 2
  1. 1.Graduate School of MathematicsKyushu UniversityJapan
  2. 2.Faculty of MathematicsKyushu UniversityHigashi-kuJapan

Personalised recommendations