EXTRAFOR: automatic EXTRAction of mathematical FORmulas | IEEE Conference Publication | IEEE Xplore