A fundamental study of output translation from layout recognition and semantic understanding system for mathematical formulae | IEEE Conference Publication | IEEE Xplore