Optical Character Recognition and Parsing of Typeset Mathematics

Journal of Visual Communication and Image Representation

Volumn 7, Issue 1, 1996, Pages 2-15

  Fateman, Richard J ^a   Tokuyasu, Taku ^a   Berman, Benjamin P ^a   Mitchell, Nicholas ^a,b  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ELECTRONIC PUBLISHING; IMAGE CODING; PATTERN RECOGNITION SYSTEMS; SCANNING; TYPESETTING;

COMPUTER ALGEBRA SYSTEMS; HIGHER LEVEL PARSING; MATHEMATICAL INFORMATION;

OPTICAL CHARACTER RECOGNITION;

EID: 0030108222     PISSN: 10473203     EISSN: None     Source Type: Journal    
DOI: 10.1006/jvci.1996.0002     Document Type: Article

References (25)

1. D. Bierens de Haan, Nouvelles Tables d'Inteǵrales Def́inies, 1867; corrected, with an English translation of the Introduction by J. F. Ritt, Stechert, New York, 1939.
2. I. S. Grodshteyn and I. M. Ryzhik, Table of Integrals, Series, and Products, Academic Press, New York, 1980.
3. Third International Conference on Document Analysis and Recognition - ICDAR '95, Montreal, Canada, Aug. 14-16, 1995, IEEE Comput. Soc. Press, Los Alamitos, CA, 1995.
4. P. Chou and G. Kopec, A stochastic attribute grammar model of document production and its use in document recognition, First International Workshop on Principles of Document Processing, Washington, DC, Oct. 21-23, 1992.
5. T. H. Einwohner and R. J. Fateman, Searching techniques for integral tables, in Proceedings of the 1995 International Symposium on Symbolic and Algebraic Computation - ISSAC '95, July 10-12, 1995, Montreal, Canada (A. H. M. Levelt, Ed.), ACM Press, New York 1995.
6. H. S. Baird, H. Bunke, and K. Yamamoto (Eds.), Structured Document Image Analysis, Springer-Verlag, Berlin, 1992.
7. L. O'Gorman and R. Kasturi (Eds.), Document Image Analysis, IEEE Comput. Soc. Press, Los Alamitos, CA, 1995.
8. F. Jenkins and J. Kanai, The use of synthesized images to evaluate the performance of optical character recognition devices and algorithms, in Document Recognition (L. M. Vincent and T. Pavlidis, Eds.), Proceedings of SPIE, Vol. 2181, Bellingham, WA, 1994.
9. M. Bokser, Omnidocument technologies, Proc. IEEE 80(7), 1992, 1066-1078.
10. P. D. Gader, E. R. Dougherty, and J. C. Serra (Eds.), Image Algebra and Morphological Image Processing III, Proceedings of SPIE; Vol. 1769, Bellingham, WA, 1992.
11. S. Kahan, T. Pavlidis, and H. S. Baird, On the recognition of printed characters of any font and size, IEEE Trans. Pattern Anal. Mach. Intell. PAMI-9(2), 1987.
12. B. P. Berman and R. J. Fateman, Optical character recognition for typeset mathematics, Proceedings of the 1994 International Symposium on Symbolic and Algebraic Computation - ISSAC '94, July 1994, Oxford, UK, ACM Press, New York, 1994.
13. D. P. Huttenlocher, G. A. Klandermand, and W. J. Rucklidge, Comparing images using the Hausdorff distance, IEEE Trans. Pattern Anal. Mach. Intell. 15, 1993, 850-63.
14. H. S. Baird, Document image defect models, in Structured Document Image Analysis (H. S. Baird, H. Bunke, and K. Yamamoto, Eds.), Springer-Verlag, Berlin, 1992.
15. P. Chou, Recognition of equations using a two-dimensional stochastic context-free grammar, Proceedings, SPIE Conference on Visual Communications and Image Processing IV, Philadelphia, PA, 1989, 852-863.
16. S. C. Bagley and G. E. Kopec, Editing images of text, Comm. ACM 37(12), 1994, 63-72.
17. M. Okamoto and A. Miyazawa, An experimental implemenetation of a document recognition system for papers containing mathematical expressions, in Structured Document Image Analysis (H. S. Baird, H. Bunke and K. Yamamoto, Eds.), Springer-Verlag, Berlin, 1992.
18. M. Klerer and F. Grossman, Error rates in tables of indefinite integrals, Industrial Math. 18, 1968, 31-62; see also M. Klerer and F. Grossman, A New Table of Indefinite Integrals; Computer Processed, Dover, New York, 1971.
19. M. Klerer and F. Grossman, Error rates in tables of indefinite integrals, Industrial Math. 18, 1968, 31-62; see also M. Klerer and F. Grossman, A New Table of Indefinite Integrals; Computer Processed, Dover, New York, 1971.
20. R. H. Anderson, Syntax-Directed Recognition of Hand-Printed Two-Dimensional Mathematics, Ph.D dissertation Harvard Univ., Cambridge, MA, Jan. 1968; also (shorter version) in M. Klerer and J. Reinfelds (Eds.), Interactive Systems for Experimental Applied Mathematics, pp. 436-459, Academic Press, New York, 1968.
21. R. H. Anderson, Syntax-Directed Recognition of Hand-Printed Two- Dimensional Mathematics, Ph.D dissertation Harvard Univ., Cambridge, MA, Jan. 1968; also (shorter version) in M. Klerer and J. Reinfelds (Eds.), Interactive Systems for Experimental Applied Mathematics, pp. 436-459, Academic Press, New York, 1968.
22. W. A. Martin, Computer Input/Output of Mathematical Expressions, Ph.D dissertation, MIT EECS Dept., 1967.
23. M. B. Wells and J. B. Morris (Eds.), Proceedings of a Symposium on Two-Dimensional Man-Machine Communication, SIGPLAN Notices 7, No. 10, ACM, New York, 1972.
24. H. R. Lewis, Two Applications of Hand-Printed Two-Dimensional Computer Input, Senior Honors thesis, Committee on Applied Mathematics, Harvard College (also Proj. TACT Rpt. 2), 1968.
25. W. A. Martin, A Fast Parsing Scheme for Hand-Printed Mathematical Expressions, MIT AI Project Memo 145, Project MAC Memo 360, Oct. 1967.