Equivalence detection using parse-tree normalization for math search | IEEE Conference Publication | IEEE Xplore