Optical Character Recognition for Typeset Mathematics.

Benjamin P. Berman, Richard J. Fateman

Browse the full ISSAC paper archive.