Refinement of digitized documents through recognition of mathematical formulae | IEEE Conference Publication | IEEE Xplore