Expanded grammar for detecting equivalence in math expressions | IEEE Conference Publication | IEEE Xplore