Mathematics recognition using graph rewriting | IEEE Conference Publication | IEEE Xplore