Berman, Benjamin P.; Fateman, Richard J. Optical character recognition for typeset mathematics. (English) Zbl 0964.68593 Von zur Gathen, Joachim (ed.) et al., ISSAC ’94. Proceedings of the international symposium on symbolic and algebraic computation, Oxford, GB, July 20-22, 1994. Baltimore, MD: ACM Press. 348-353 (1994). Cited in 1 Document MSC: 68W30 Symbolic computation and algebraic computation Keywords:computer algebra systems PDFBibTeX XMLCite \textit{B. P. Berman} and \textit{R. J. Fateman}, in: ISSAC '94. Proceedings of the international symposium on Symbolic and algebraic computation, Oxford, GB, July 20--22, 1994. Baltimore, MD: ACM Press. 348--353 (1994; Zbl 0964.68593)