Abstract
We propose a mathematical knowledge browser which helps people to read mathematical documents. By the browser printed mathematical documents can be scanned and recognized by OCR (Optical Character Recognition). Then the meta-information (e.g. title, author) and the logical structure (e.g. section, theorem) of the documents are automatically extracted.
The purpose of this paper is to show the extraction method of logical structure specialized for mathematical documents. We implemented this method in INFTY which is an integrated OCR system for mathematical documents. In order to show the effectiveness of the method we made a correct database from an existing mathematical OCR database, and made an experiment.
This work is (partially) supported by Kyushu University 21st Century COE Program, Development of Dynamic Mathematics with High Functionality, of the Ministry of Education, Culture, Sports, Science and Technology of Japan.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Adams, A.A.: Digitisation, Representation and Formalisation: Digital Libraries of Mathematics. In: Asperti, A., Buchberger, B., Davenport, J.H. (eds.) MKM 2003. LNCS, vol. 2594. Springer, Heidelberg (2003)
Baba, Y., Suzuki, M.: An Annotated Corpus and a Grammar Model of Theorem Description. In: Asperti, A., Buchberger, B., Davenport, J.H. (eds.) MKM 2003. LNCS, vol. 2594, pp. 93–104. Springer, Heidelberg (2003)
Buchberger, B., Dupre, C., Jebelean, T., Kriftner, F., Nakagawa, K., Vasaru, D., Windsteiger, W.: The Theorema Project: A Progress Report. In: Symbolic Computation and Automated Reasoning, pp. 98–113. A.K. Peters (2001)
Kohlhase, M.: OMDoc: An Infrastructure for OpenMath Content Dictionary Information. SIGSAM Bulletin 34(2), 43–48 (2000)
Mao, S., Rosenfeld, A., Kanungo, T.: Document Structure Analysis Algorithms: A Literature Survey. In: Document Recognition and Retrieval X, Proceedings of SPIE, vol. 5010, pp. 197–207 (January 2003)
Rudnicki, P.: An Overview of the Mizar Project. In: Proceedings of the 1992 Workshop on Types for Proofs and Programs, Bastad (1992), http://mizar.org
Summers, K.M.: Automatic Discovery of Logical Document Structure. PhD thesis, Cornell University (1998)
Suzuki, M., Tamari, F., Fukuda, R., Uchida, S., Kanahori, T.: INFTY – An Integrated OCR System for Mathematical Documents. In: ACM Symposium on Document Engineering (DocEng 2003), November 20-22, 2003, Grenoble, France (2003)
Uchida, S., Nomura, A., Suzuki, M.: Quantitative Analysis of Mathematical Documents (submitted)
Wolfram, S.: The Mathematica Book, 5th edn. Wolfram Media, Inc. (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Nakagawa, K., Nomura, A., Suzuki, M. (2004). Extraction of Logical Structure from Articles in Mathematics . In: Asperti, A., Bancerek, G., Trybulec, A. (eds) Mathematical Knowledge Management. MKM 2004. Lecture Notes in Computer Science, vol 3119. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-27818-4_20
Download citation
DOI: https://doi.org/10.1007/978-3-540-27818-4_20
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-23029-8
Online ISBN: 978-3-540-27818-4
eBook Packages: Springer Book Archive