A system for real-time recognition of handwritten mathematical formulas | IEEE Conference Publication | IEEE Xplore